Showing 2025Show all
2 papers · 1 filter
cs.AI2025
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,…
cs.AI2025
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…