BibTeX
@MISC{Kalyanpur06debuggingand,
author = {Aditya Kalyanpur},
title = { DEBUGGING AND REPAIR OF OWL ONTOLOGIES},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. The problem is worse for newcomers to OWL who have little or no experience with DL-based knowledge representation. Existing ontology development environments, in conjunction with a reasoner, provide some limited debugging support, however this is restricted to merely reporting errors in the ontology, whereas bug diagnosis and resolution is usually left to the user. In this thesis, I present a complete end-to-end framework for explaining, pinpointing and repairing semantic defects in OWL-DL ontologies (or in other words, a SHOIN knowledge base). Semantic defects are logical contradictions that manifest as either inconsistent ontologies or unsatisfiable concepts. Where possible, I show extensions to handle related defects such as unsatisfiable roles, unintended entailments and nonentailments,
Keyphrases
repair owl ontology semantic web semantic defect ontology development environment web ontology language ontology user unintended entailment owl-dl ontology expressive description logic shoin inconsistent ontology complete end-to-end framework dl-based knowledge representation related defect hard task large number unsatisfiable concept limited debugging support logical contradiction bug diagnosis unsatisfiable role shoin knowledge base
