paper-with-me

홈 › Papers

EvoLearner: Learning Description Logics with Evolutionary Algorithms

2021-11-08 · Stefan Heindorf, Lukas Blübaum, Nick Düsterhus, Till Werner, Varun Nandkumar Golani, Caglar Demir, Axel-Cyrille Ngonga Ngomo

Classifying nodes in knowledge graphs is an important task, e.g., for predicting missing types of entities, predicting which molecules cause cancer, or predicting which drugs are promising treatment candidates. While black-box models often achieve high predictive performance, they are only post-hoc and locally explainable and do not allow the learned model to be easily enriched with domain knowledge. Towards this end, learning description logic concepts from positive and negative examples has been proposed. However, learning such concepts often takes a long time and state-of-the-art approaches provide limited support for literal data values, although they are crucial for many applications. In this paper, we propose EvoLearner - an evolutionary approach to learn concepts in ALCQ(D), which is the attributive language with complement (ALC) paired with qualified cardinality restrictions (Q) and data properties (D). We contribute a novel initialization method for the initial population: starting from positive examples, we perform biased random walks and translate them to description logic concepts. Moreover, we improve support for data properties by maximizing information gain when deciding where to split the data. We show that our approach significantly outperforms the state of the art on the benchmarking framework SML-Bench for structured machine learning. Our ablation study confirms that this is due to our novel initialization method and support for data properties.

📄 PDF Abstract BibTeX arXiv:2111.04879

Code (1)

dice-group/evolearner 공식 구현

Tasks

BenchmarkingEvolutionary AlgorithmsKnowledge Graphs

Similar Papers 제목 키워드 기반

Uniform and Modular Sequent Systems for Description Logics

2022-06-17 · Tim Lyon, Jonas Karge

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for s…

A Rational Entailment for Expressive Description Logics via Description Logic Programs

2021-06-28 · Giovanni Casini, Umberto Straccia

Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rationa…

Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics

2015-02-08 · Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot

Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we pr…

Reasoning with Probabilistic Logics

2014-05-05 · Riccardo Zese

The interest in the combination of probability with logics for modeling the world has rapidly increased in the last few years. One of the most effective approaches is the Distribution Semantics which was adopted by many …

A Framework for Reasoning on Probabilistic Description Logics

2020-10-02 · Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma 외

While there exist several reasoners for Description Logics, very few of them can cope with uncertainty. BUNDLE is an inference framework that can exploit several OWL (non-probabilistic) reasoners to perform inference ove…