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 |