ResearchSpace

First steps in the computation of root justifications

Show simple item record

dc.contributor.author Meyer, T
dc.contributor.author Moodley, K
dc.contributor.author Varzinczak, I
dc.date.accessioned 2010-10-12T08:50:04Z
dc.date.available 2010-10-12T08:50:04Z
dc.date.issued 2010-08
dc.identifier.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 en
dc.identifier.uri http://hdl.handle.net/10204/4480
dc.description 2nd International Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Lisbon, Portugal, 16-17 August 2010 en
dc.description.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. en
dc.language.iso en en
dc.relation.ispartofseries Conference Paper en
dc.subject Root justifications en
dc.subject Ontologies en
dc.subject Automated reasoning en
dc.subject Description logics en
dc.subject Ontology evolution en
dc.title First steps in the computation of root justifications en
dc.type Conference Presentation en
dc.identifier.apacitation Meyer, T., Moodley, K., & Varzinczak, I. (2010). First steps in the computation of root justifications. http://hdl.handle.net/10204/4480 en_ZA
dc.identifier.chicagocitation Meyer, T, K Moodley, and I Varzinczak. "First steps in the computation of root justifications." (2010): http://hdl.handle.net/10204/4480 en_ZA
dc.identifier.vancouvercitation Meyer T, Moodley K, Varzinczak I, First steps in the computation of root justifications; 2010. http://hdl.handle.net/10204/4480 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Meyer, T AU - Moodley, K AU - Varzinczak, I AB - 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. DA - 2010-08 DB - ResearchSpace DP - CSIR KW - Root justifications KW - Ontologies KW - Automated reasoning KW - Description logics KW - Ontology evolution LK - https://researchspace.csir.co.za PY - 2010 T1 - First steps in the computation of root justifications TI - First steps in the computation of root justifications UR - http://hdl.handle.net/10204/4480 ER - en_ZA


Files in this item

Thumbnail
Name: Meyer_2010.pdf
Size: 170.1Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record