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.
@String{TOCL = "{ACM} Transactions on Computational Logic"} @String{ACM = "{ACM} Press"} @Article{DoNR02, 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", }