Nonmonotonic reasoning in Description Logics. Rational Closure for the ABox
release_k4w3quxibrajrox3xcj2j2kqhu
by
Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan Varzinczak
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, 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.
In text/plain
format
Archived Files and Locations
application/pdf 337.6 kB
file_hnens2rk7rb25kjv525o3mj4jq
|
ceur-ws.org (web) web.archive.org (webarchive) |
application/pdf 338.4 kB
file_254q656svraurgymoastq72bei
|
web.archive.org (webarchive) www.cair.za.net (web) |
article-journal
Stage
unknown
access all versions, variants, and formats of this works (eg, pre-prints)