Home » Research » Research outputs » Nonmonotonic reasoning in Description Logics. Rational Closure for the ABox.

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

2013

  • Authors:
    Giovanni Casini , Tommie Meyer , Kody Moodley , Ivan Varzinczak

    Publication date:
    2013

    Institution:

    Output type:
    Workshop paper

    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.

    Document file: