Justification Based Explanation in Ontologies
Published on 26. November 2012
Book
Paperback/Softback
304 pages
978-1-78017-179-1 (ISBN)
Description
The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. The Description Logic foundations of OWL mean that it is possible to compute what is entailed by an OWL ontology. However, without tool support, it can be very diffcult or impossible to understand why an entailment holds. In the OWL world, justifications, which are minimal entailing subsets of ontologies, have emerged as the dominant form of explanation. This thesis investigates justification based explanation techniques. The core of the thesis is devoted to defining and analysing Laconic and Precise Justifications. These are fine-grained justifications whose axioms do not contain any superfluous parts. An extensive empirical evaluation shows that it is practical to compute Laconic Justifications and also reveals prevalence of non-laconic justifications in the wild. The results indicate that Laconic and Precise justifications are likely to be useful in practice.
The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. The Description Logic foundations of OWL mean that it is possible to compute what is entailed by an OWL ontology. However, without tool support, it can be very diffcult or impossible to understand why an entailment holds. In the OWL world, justifications, which are minimal entailing subsets of ontologies, have emerged as the dominant form of explanation. This thesis investigates justification based explanation techniques. The core of the thesis is devoted to defining and analysing Laconic and Precise Justifications. These are fine-grained justifications whose axioms do not contain any superfluous parts. An extensive empirical evaluation shows that it is practical to compute Laconic Justifications and also reveals prevalence of non-laconic justifications in the wild. The results indicate that Laconic and Precise justifications are likely to be useful in practice.
The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. The Description Logic foundations of OWL mean that it is possible to compute what is entailed by an OWL ontology. However, without tool support, it can be very diffcult or impossible to understand why an entailment holds. In the OWL world, justifications, which are minimal entailing subsets of ontologies, have emerged as the dominant form of explanation. This thesis investigates justification based explanation techniques. The core of the thesis is devoted to defining and analysing Laconic and Precise Justifications. These are fine-grained justifications whose axioms do not contain any superfluous parts. An extensive empirical evaluation shows that it is practical to compute Laconic Justifications and also reveals prevalence of non-laconic justifications in the wild. The results indicate that Laconic and Precise justifications are likely to be useful in practice.
More details
Series
Language
English
Place of publication
Swindon
United Kingdom
Publishing group
BCS Learning & Development Limited
Target group
Professional and scholarly
Dimensions
Height: 297 mm
Width: 210 mm
Thickness: 16 mm
ISBN-13
978-1-78017-179-1 (9781780171791)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Matthew Horridge completed his PhD in the Information Management Group at The University of Manchester where he was supervised by Dr Bijan Parsia and Prof Uli Sattler. Prior to this he worked as a software engineer developing widely used APIs and tools for working with OWL ontologies. Matthew currently works in the Biomedical Informatics Research Group at Stanford University, California. His research interests centre around the conceptual, computational and cognitive aspects of explanation in ontologies.
Matthew Horridge completed his PhD in the Information Management Group at The University of Manchester where he was supervised by Dr Bijan Parsia and Prof Uli Sattler. Prior to this he worked as a software engineer developing widely used APIs and tools for working with OWL ontologies. Matthew currently works in the Biomedical Informatics Research Group at Stanford University, California. His research interests centre around the conceptual, computational and cognitive aspects of explanation in ontologies.
Matthew Horridge completed his PhD in the Information Management Group at The University of Manchester where he was supervised by Dr Bijan Parsia and Prof Uli Sattler. Prior to this he worked as a software engineer developing widely used APIs and tools for working with OWL ontologies. Matthew currently works in the Biomedical Informatics Research Group at Stanford University, California. His research interests centre around the conceptual, computational and cognitive aspects of explanation in ontologies.
Content
<ol><li>Introduction</li><li>Preliminaries</li><li>Computing Justifications</li><li>Justification Finding Algorithms</li><li>The BioPortal Corpus</li><li>Justification Finding Experiments</li><li>Justification Granularity </li><li>Laconic and Precise Justifications </li><li>Justification Masking </li><li>Laconic Justification Finding Algorithms </li><li>Laconic Justification Finding Experiments</li><li>Understanding Justifications</li><li>Justification Oriented Proofs</li><li>Conclusions </li><li>Bibliography</li></ol>