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 - apr 2002
Download the publication : [202Ko]  
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.

BibTex references

author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati},
title = "Description logics of minimal knowledge and
negation as failure",
journal = "ACM Transactions on Computational Logic",
number = "2",
volume = "3",
month = "apr",
year = "2002",
url = ""

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy