Abduction and Contraction in Description Logics

Abduction and Contraction in Description Logics

- APR-2008


Donini Francesco M.


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: Don08.pdf



BibTex references

  author       = "Donini, Francesco M.",
  title        = "Abduction and Contraction in Description Logics",
  month        = "apr",
  year         = "2008",
  note         = "Invited talk at Free University of Bolzano-Bozen, Italy, 28 april 2008",
  keywords     = "Abduction, Revision, Description Logics",
  url          = "http://sisinflab.poliba.it/Publications/2008/Don08"