Casini, GMeyer, TMoodley, KVarzinczak, I2013-11-062013-11-062013-07Casini, G, Meyer, T, Moodley, K and Varzinczak, I. 2013. 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013http://www.cair.za.net/sites/default/files/outputs/ABox-Rational-Closure-TR2-2013.pdfhttp://hdl.handle.net/10204/703526th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013The 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.enDescription logicsSemanticsPreliminariesConference PresentationCasini, 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/7035Casini, G, T Meyer, K Moodley, and I Varzinczak. "Nonmonotonic reasoning in description logics. Rational closure for the ABox." (2013): http://hdl.handle.net/10204/7035Casini 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 .TY - Conference Presentation AU - Casini, G AU - Meyer, T AU - Moodley, K AU - Varzinczak, I AB - 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. DA - 2013-07 DB - ResearchSpace DP - CSIR KW - Description logics KW - Semantics KW - Preliminaries LK - https://researchspace.csir.co.za PY - 2013 T1 - Nonmonotonic reasoning in description logics. Rational closure for the ABox TI - Nonmonotonic reasoning in description logics. Rational closure for the ABox UR - http://hdl.handle.net/10204/7035 ER -