ResearchSpace

Towards practical defeasible reasoning for description logics

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-08T05:53:52Z
dc.date.available 2013-11-08T05:53:52Z
dc.date.issued 2013-07
dc.identifier.citation Casini, G, Meyer, T, Moodley, K and Varzinczak, I. 2013. Towards practical defeasible reasoning for description logics. 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/dl2013_submission_17.pdf
dc.identifier.uri http://hdl.handle.net/10204/7039
dc.description 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013. Published in Centre for Artificial Intelligence Research en_US
dc.description.abstract The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper is to devise a practical implementation for prior work that formalises a version of Rational Closure (an important type of defeasible reasoning) for DLs. We show that the conclusions drawn from it are generally intuitive and desirable. Moreover, we present experimental results showing that using Rational Closure for ontologies of reasonable size is practical. en_US
dc.language.iso en en_US
dc.publisher Centre for Artificial Intelligence Research en_US
dc.relation.ispartofseries Workflow;11664
dc.subject Defeasible reasoning en_US
dc.subject Description logics en_US
dc.subject Ontologies en_US
dc.title Towards practical defeasible reasoning for description logics en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Casini, G., Meyer, T., Moodley, K., & Varzinczak, I. (2013). Towards practical defeasible reasoning for description logics. Centre for Artificial Intelligence Research. http://hdl.handle.net/10204/7039 en_ZA
dc.identifier.chicagocitation Casini, G, T Meyer, K Moodley, and I Varzinczak. "Towards practical defeasible reasoning for description logics." (2013): http://hdl.handle.net/10204/7039 en_ZA
dc.identifier.vancouvercitation Casini G, Meyer T, Moodley K, Varzinczak I, Towards practical defeasible reasoning for description logics; Centre for Artificial Intelligence Research; 2013. http://hdl.handle.net/10204/7039 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Casini, G AU - Meyer, T AU - Moodley, K AU - Varzinczak, I AB - The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper is to devise a practical implementation for prior work that formalises a version of Rational Closure (an important type of defeasible reasoning) for DLs. We show that the conclusions drawn from it are generally intuitive and desirable. Moreover, we present experimental results showing that using Rational Closure for ontologies of reasonable size is practical. DA - 2013-07 DB - ResearchSpace DP - CSIR KW - Defeasible reasoning KW - Description logics KW - Ontologies LK - https://researchspace.csir.co.za PY - 2013 T1 - Towards practical defeasible reasoning for description logics TI - Towards practical defeasible reasoning for description logics UR - http://hdl.handle.net/10204/7039 ER - en_ZA


Files in this item

Thumbnail
Name: Casini1_2013.pdf
Size: 364.3Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record