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.
Reference:
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
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
Casini, G, T Meyer, K Moodley, and I Varzinczak. "Towards practical defeasible reasoning for description logics." (2013): http://hdl.handle.net/10204/7039
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 .