Showing 2024Show all
2 papers · 1 filter
cs.AI2024
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…
cs.AI2024
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…