In:
ACM Transactions on Computational Logic, Association for Computing Machinery (ACM), Vol. 3, No. 2 ( 2002-04), p. 177-225
Abstract:
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with modal operators interpreted according to Lifschitz's nonmonotonic logic MKNF. We show the usefulness of MKNF-DLs for a formal characterization of a wide variety of nonmonotonic features that are both commonly available inframe-based systems, and needed in the development of practical knowledge-based applications: defaults, integrity constraints, role, and concept closure. In addition, we provide a correct and terminating calculus for query answering in a very expressive MKNF-DL.
Type of Medium:
Online Resource
ISSN:
1529-3785
,
1557-945X
DOI:
10.1145/505372.505373
Language:
English
Publisher:
Association for Computing Machinery (ACM)
Publication Date:
2002
detail.hit.zdb_id:
2025647-4
