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.
Reference:
Casini, G, Meyer, T, Moodley, K and Varzinczak, I. 2013. 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013
Casini, G., Meyer, T., Moodley, K., & Varzinczak, I. (2013). Nonmonotonic reasoning in description logics. Rational closure for the ABox. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7035
Casini, G, T Meyer, K Moodley, and I Varzinczak. "Nonmonotonic reasoning in description logics. Rational closure for the ABox." (2013): http://hdl.handle.net/10204/7035
Casini G, Meyer T, Moodley K, Varzinczak I, Nonmonotonic reasoning in description logics. Rational closure for the ABox; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7035 .
