Author:Halland, K; Britz, KDate:Oct 2012The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL ...Read more
Author:Klarman, S; Meyer, TDate:Jul 2014Temporal query abduction is the problem of hypothesizing a minimal set of temporal data which, given some fixed background knowledge, warrants the entailment of the query. This problem formally underlies a variety of forms of explanatory and ...Read more
Author:Casini, G; Straccia, UDate:2013Defeasible inheritance networks are a non-monotonic framework that deals with hierarchical knowledge. On the other hand, rational closure is acknowledged as a landmark of the preferential approach to non-monotonic reasoning. We will combine ...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:Meyer, T; Moodley, K; Varzinczak, IDate:Aug 2010Description Logics (DLs) are widely accepted as an appropriate class of knowledge representation languages to represent and reason about ontologies. Tools for performing standard reasoning tasks such as satisfiability and consequence checking ...Read more
Author:Britz, K; Heidema, J; Meyer, TDate:Dec 2009The authors present a semantic model of typicality of concept members in description logics (DLs) that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic ...Read more
Author:Britz, K; Heidema, J; Meyer, TDate:Jul 2009The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic ...Read more
Author:Nortje, R; Britz, K; Meyer, TDate:Jul 2013In this paper we investigate the module-theoretic properties of bot and top-reachability modules in terms of inseparability relations for the DL SRIQ. We show that, although these modules are not depleting or self-contained, they share the ...Read more
Author:Halland, K; Britz, KDate:Jun 2012The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. An observation which is not entailed by the knowledge base will result in open branches in a ...Read more
Author:Casini, G; Meyer, T; Moodley, K; Varzinczak, IDate:Jul 2013The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox have been proposed, ...Read more
Author:Moodley, K; Meyer, T; Sattler, UDate:Aug 2014Abstract. The 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 e orts to
extend their framework to ...Read more
Author:Britz, K; Casini, G; Meyer, T; Varzinczak, IDate:Jul 2013We extend the Description Logic ALC with preferential role restrictions as class constructs, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting DL is more expressive ...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
Author:Franconi, E; Meyer, T; Varzinczak, IDate:May 2010In this paper the authors investigate the problem of maintaining and reasoning with different versions of a knowledge base. The authors are interested in the scenario where a knowledge base (expressed in some logical formalism) might evolve ...Read more
Author:Britz, K; Meyer, T; Varzinczak, IDate:Dec 2011Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by ...Read more
Author:Halland, K; Britz, K; Klarman, SDate:Jul 2014The formal definition of abduction asks what needs to be
added to a knowledge base to enable an observation to be entailed. TBox
abduction in description logics (DLs) asks what TBox axioms need to
be added to a DL knowledge base to allow ...Read more
Author:Keet, CM; Nasubo Ongoma, EADate:Jan 2015Representing data that changes over time in conceptual data models is required by various application domains, and requires a language that is expressive enough to fully capture the operational semantics of the time-varying information. ...Read more
Author:Casini, G; Meyer, T; Moodley, K; Varzinczak, IDate:Jul 2013The 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 ...Read more