The Complexity of Circumscription in DLs

Abstract

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… (More)
DOI: 10.1613/jair.2763

Topics

8 Figures and Tables

Statistics

0102020082009201020112012201320142015201620172018
Citations per Year

111 Citations

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

See our FAQ for additional information.

Slides referencing similar topics