Use this URL to cite or link to this record in EThOS:
Title: The justificatory structure of OWL ontologies
Author: Bail, Samantha Patricia
Awarding Body: University of Manchester
Current Institution: University of Manchester
Date of Award: 2013
Availability of Full Text:
Access from EThOS:
Access from Institution:
The Web Ontology Language OWL is based on the highly expressive description logic SROIQ, which allows OWL ontology users to employ out-of-the-box reasoners to compute information that is not only explicitly asserted, but entailed by the ontology. Explanation facilities for entailments of OWL ontologies form an essential part of ontology development tools, as they support users in detecting and repairing errors in potentially large and highly complex ontologies, thus helping to ensure ontology quality. Justifications, minimal subsets of an ontology that are sufficient for an entailment to hold, are currently the prevalent form of explanation in OWL ontology development tools. They have been found to significantly reduce the time and effort required to debug erroneous entailments. A large number of entailments, however, have not only one but many justifications, which can make it considerably more challenging for a user to find a suitable repair for the entailment.In this thesis, we investigate the relationships between multiple justifications for both single and multiple entailments, with the goal of exploiting this justificatory structure in order to devise new coping strategies for multiple justifications. We describe various aspects of the justificatory structure of OWL ontologies, such as shared axiom cores and structural similarities. We introduce a model for measuring user effort in the debugging process and propose debugging strategies that exploit the justificatory structure in order to reduce user effort. Finally, an analysis of a large corpus of ontologies from the biomedical domain reveals that OWL ontologies used in practice frequently exhibit a rich justificatory structure.
Supervisor: Sattler, Uli; Parsia, Bijan Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: OWL ; description logics ; explanation ; debugging ; ontologies ; Semantic Web