Author:Casini, G; Meyer, T; Varzinczak, IDate:Oct 2018In this paper we present what we believe to be the first systematic approach for extending the framework for defeasible entailment first presented by Kraus, Lehmann, and Magidor—the so-called KLM approach. Drawing on the properties for KLM, ...Read more
Author:Casini, G; Straccia, U; Meyer, Thomas ADate:Sep 2018Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe ELO , a notable and practically ...Read more
Author:Casini, G; Meyer, T; Moodley, K; Nortjé, RDate:Sep 2014Among the various proposals for defeasible reasoning for description logics, Rational Closure, a procedure originally defined for propositional logic, turns out to have a number of desirable properties. Not only it is computationally feasible, ...Read more