Author:Keet, CMDate:Oct 2012OWL 2 DL is a very expressive language and has many features for declaring complex object property expressions. Standard reasoning services for OWL ontologies assume the axioms in the "object property box" to be correct and according to the ...Read more
Author:Meyer, T; Moodley, K; Sattler, UDate:Jul 2014The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework to Description ...Read more
Author:Casini, G; Meyer, T; Moodley, K; Sattler, U; Varzinczak, IDate:Oct 2015In recent years, various approaches have been developed for representing and reasoning with exceptions in OWL. The price one pays for such capabilities, in terms of practical performance, is an important factor that is yet to be quantified ...Read more
Author:Moodley, K; Meyer, T; Varzinczak, IDate:Jun 2012We discuss two approaches for defeasible reasoning in Description Logics that allow for the statement of defeasible subsumptions of the form “subsumed by usually holds”. These approaches are known as prototypical reasoning and presumptive ...Read more