DMCA
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox
Cached
Download Links
| Citations: | 3 - 2 self |
BibTeX
@MISC{Casini_nonmonotonicreasoning,
author = {Giovanni Casini and Thomas Meyer and Kody Moodley and Ivan Varzinczak},
title = {Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 1
