ResearchSpace
→
Browsing by Subject

Browsing by Subject "Description logics"

Now showing items 1-18 of 18

ABox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K Date: Oct 2012 The 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
Complexity of temporal query abduction in DL-Lite

Author: Klarman, S ; Meyer, T Date: Jul 2014 Temporal 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
Defeasible inheritance-based description logics

Author: Casini, G ; Straccia, U Date: 2013 Defeasible 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
DIP: A defeasible-inference platform for OWL ontologies

Author: Meyer, T ; Moodley, K ; Sattler, U Date: Jul 2014 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 efforts to extend their framework to Description ... Read more
First steps in the computation of root justifications

Author: Meyer, T ; Moodley, K ; Varzinczak, I Date: Aug 2010 Description 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
Modelling object typicality in description logics

Author: Britz, K ; Heidema, J ; Meyer, T Date: Dec 2009 The 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
Modelling object typicality in description logics - [Workshop on Description Logics]

Author: Britz, K ; Heidema, J ; Meyer, T Date: Jul 2009 The 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
Module-theoretic properties of reachability modules for SRIQ

Author: Nortje, R ; Britz, K ; Meyer, T Date: Jul 2013 In 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
Naive ABox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K Date: Jun 2012 The 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
Nonmonotonic reasoning in description logics. Rational closure for the ABox

Author: Casini, G ; Meyer, T ; Moodley, K ; Varzinczak, I Date: Jul 2013 The 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
Practical defeasible reasoning for description logics (STAIRS)

Author: Moodley, K ; Meyer, T ; Sattler, U Date: Aug 2014 Abstract. 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
Preferential role restrictions

Author: Britz, K ; Casini, G ; Meyer, T ; Varzinczak, I Date: Jul 2013 We 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
Relevant closure: a new form of defeasible reasoning for description logics

Author: Casini, G ; Meyer, T ; Moodley, K ; Nortjé, R Date: Sep 2014 Among 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
Semantic diff as the basis for knowledge base versioning

Author: Franconi, E ; Meyer, T ; Varzinczak, I Date: May 2010 In 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
Semantic foundation for preferential description logics

Author: Britz, K ; Meyer, T ; Varzinczak, I Date: Dec 2011 Description 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
TBox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K ; Klarman, S Date: Jul 2014 The 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
Temporal Attributes: their Status and Subsumption

Author: Keet, CM ; Nasubo Ongoma, EA Date: Jan 2015 Representing 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
Towards practical defeasible reasoning for description logics

Author: Casini, G ; Meyer, T ; Moodley, K ; Varzinczak, I Date: Jul 2013 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 ... Read more

Now showing items 1-18 of 18

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Description logics"

Browsing by Subject "Description logics"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect