The Complexity of Circumscription in DLs


As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would benefit from the availability of such features, several families of nonmonotonic DLs have been developed that are mostly based on default logic and autoepistemic logic. In this paper, we consider circumscription as an interesting alternative approach to nonmonotonic DLs that, in particular, supports defeasible inheritance in a natural way. We study DLs extended with circumscription under different language restrictions and under different constraints on the sets of minimized, fixed, and varying predicates, and pinpoint the exact computational complexity of reasoning for DLs ranging from ALC to ALCIO and ALCQO. When the minimized and fixed predicates include only concept names but no role names, then reasoning is complete for NExp. It becomes complete for NP when the number of minimized and fixed predicates is bounded by a constant. If roles can be minimized or fixed, then complexity ranges from NExp to undecidability.

DOI: 10.1613/jair.2763

Extracted Key Phrases

8 Figures and Tables

Citations per Year

102 Citations

Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bonatti2009TheCO, title={The Complexity of Circumscription in DLs}, author={Piero A. Bonatti and Carsten Lutz and Frank Wolter}, journal={J. Artif. Intell. Res.}, year={2009}, volume={35}, pages={717-773} }