Casini, GMeyer, TMoodley, KVarzinczak, I2013-11-082013-11-082013-07Casini, 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 2013http://www.cair.za.net/sites/default/files/outputs/dl2013_submission_17.pdfhttp://hdl.handle.net/10204/703926th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013. Published in Centre for Artificial Intelligence ResearchThe 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.enDefeasible reasoningDescription logicsOntologiesConference PresentationCasini, 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/7039Casini, G, T Meyer, K Moodley, and I Varzinczak. "Towards practical defeasible reasoning for description logics." (2013): http://hdl.handle.net/10204/7039Casini 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 .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 -