Querying Circumscribed Description Logic Knowledge Bases

Download PDF
Open Webpage

Carsten Lutz, Quentin Manière, Robin Nolte

Published: 01 Jan 2023, Last Modified: 22 Jul 2025KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Circumscription is one of the main approaches for defining non-monotonic description logics (DLs) and the decidability and complexity of traditional reasoning tasks, such as satisfiability of circu...