177 citations · 621 across the 42 of their papers we have counts for
16 papers · 1 filter
Querying Circumscribed Description Logic Knowledge Bases
Carsten Lutz, Quentin Manière, Robin Nolte
Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as sati…
Description Logics with Abstraction and Refinement
Carsten Lutz, Lukas Schulze
Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension…
SAT-Based PAC Learning of Description Logic Concepts
Balder ten Cate, Maurice Funk, Jean Christoph Jung +1
We propose bounded fitting as a scheme for learning description logic concepts in the presence of ontologies. A main advantage is that the resulting learning algorithms come with t…
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
We study ELI queries (ELIQs) in the presence of ontologies formulated in the description logic DL-Lite. For the dialect DL-LiteH, we show that ELIQs have a frontier (set of least g…
How to Approximate Ontology-Mediated Queries
Anneke Haga, Carsten Lutz, Leif Sabellek +1
We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1)…
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows…