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…