Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic - APR-2002

Authors

Donini Francesco M., Nardi Daniele, Rosati Riccardo

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.

Download: donini-nardi-rosati-TOCL02.ps.gz
Download: abstract.en.html

DOI

https://doi.org/10.1145/505372.505373

BibTex references

@Article{DNR02,
  author       = "Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo",
  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          = "http://sisinflab.poliba.it/Publications/2002/DNR02"

}