Nonmonotonic reasoning in Description Logics. Rational Closure for the ABox

Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan José Varzinczak

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

The introduction of defeasible reasoning in description logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox have been proposed, the application of such a kind of reasoning also to ABoxes is more problematic. In what follows we are going to present the adaptation for the ABox of a classical nonmonotonic form of reasoning, namely Lehmann and Magidor's Rational Closure. We present both a procedural and a semantical characterization, and we conclude the paper with a comparison between our and other analogous proposals.

Original languageEnglish
Title of host publicationDL 2013
Subtitle of host publicationInformal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013
PublisherCEUR Workshop Proceedings
Pages600-615
Number of pages16
Publication statusPublished - 2013
Externally publishedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume1014
ISSN1613-0073

Fingerprint

Dive into the research topics of 'Nonmonotonic reasoning in Description Logics. Rational Closure for the ABox'. Together they form a unique fingerprint.

Cite this