DSpace
 

Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/4480

Title: First steps in the computation of root justifications
Authors: Meyer, T
Moodley, K
Varzinczak, I
Keywords: Root justifications
Ontologies
Automated reasoning
Description logics
Ontology evolution
Issue Date: Aug-2010
Citation: Meyer, T, Moodley, K and Varzinczak, I. 2010. First steps in the computation of root justifications. 2nd International Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Lisbon, Portugal, 16-17 August 2010, pp 2
Series/Report no.: Conference Paper
Abstract: 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 have grown increasingly powerful and sophisticated in the last decade. In section 2 we review the standard approach for the resolution of modelling errors encountered in ontologies and propose the first steps in a new method for resolving such errors in section 3. The method is based on the notion of root justifications which we define and discuss. The approach we describe is applicable to a wide class of DLs. We don’t provide a comprehensive formal introduction to DLs, but rather point the reader to the book by Baader et al.
Description: 2nd International Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Lisbon, Portugal, 16-17 August 2010
URI: http://hdl.handle.net/10204/4480
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Meyer_2010.pdf170.19 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback