ResearchSpace

Nonmonotonic reasoning in description logics. Rational closure for the ABox

Show simple item record

dc.contributor.author Casini, G
dc.contributor.author Meyer, T
dc.contributor.author Moodley, K
dc.contributor.author Varzinczak, I
dc.date.accessioned 2013-11-06T09:15:30Z
dc.date.available 2013-11-06T09:15:30Z
dc.date.issued 2013-07
dc.identifier.citation Casini, G, Meyer, T, Moodley, K and Varzinczak, I. 2013. 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013 en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/ABox-Rational-Closure-TR2-2013.pdf
dc.identifier.uri http://hdl.handle.net/10204/7035
dc.description 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013 en_US
dc.description.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. en_US
dc.language.iso en en_US
dc.publisher CAIR (Centre for Artificial Intelligence Research) en_US
dc.relation.ispartofseries Workflow;11666
dc.subject Description logics en_US
dc.subject Semantics en_US
dc.subject Preliminaries en_US
dc.title Nonmonotonic reasoning in description logics. Rational closure for the ABox en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation 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 en_ZA
dc.identifier.chicagocitation 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 en_ZA
dc.identifier.vancouvercitation 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 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Casini_2013.pdf
Size: 340.7Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record