Nonmonotonic reasoning in Description Logics. Rational Closure for the ABox release_k4w3quxibrajrox3xcj2j2kqhu

by Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan Varzinczak

Released as a article-journal .

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)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   unknown
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 86723078-c2f4-490b-a562-d6cb84a7da42
API URL: JSON