4 papers · 1 filter
Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
Meghyn Bienvenu, Quentin Manière
In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recently-introduced cost-based semantics. In a nutshell,…
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
Federica Di Stefano, Quentin Manière, Magdalena Ortiz +1
Reasoning with minimal models has always been at the core of many knowledge representation techniques, but we still have only a limited understanding of this problem in Description…
Spectra of Cardinality Queries over Description Logic Knowledge Bases
Quentin Manière, Marcin PrzybyÅko
Recent works have explored the use of counting queries coupled with Description Logic ontologies. The answer to such a query in a model of a knowledge base is either an integer or…
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
Carsten Lutz, Quentin Manière
We study extensions of expressive decidable fragments of first-order logic with circumscription, in particular the two-variable fragment FO, its extension C with counting q…