177 citations · 621 across the 42 of their papers we have counts for
3 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…