Description Logics of Minimal Knowledge and Negation as Failure

Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
ACM Transactions on Computational Logic, volume 3, number 2, pages 177-225, ACM Press, 2002. ISSN 1529-3785.



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 in frame-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.

Bibtex entry:

@String{TOCL = "{ACM} Transactions on Computational Logic"}

@String{ACM = "{ACM} Press"}

author = "Francesco M. Donini and Daniele Nardi and Riccardo Rosati",
title = "Description Logics of Minimal Knowledge and Negation as Failure",
journal = TOCL,
volume = {3},
number = {2},
pages = {177-225},
publisher = ACM,
year = 2002,
issn = "1529-3785",

Link to electronic version of published paper