European Knowledge Acquisition Workshop

EKAW 2016: Knowledge Engineering and Knowledge Management pp 432-446

Making Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions

  • Nicolas Matentzoglu
  • Markel Vigo
  • Caroline Jay
  • Robert Stevens
Conference paper

DOI: 10.1007/978-3-319-49004-5_28

Volume 10024 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Matentzoglu N., Vigo M., Jay C., Stevens R. (2016) Making Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions. In: Blomqvist E., Ciancarini P., Poggi F., Vitali F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science, vol 10024. Springer, Cham

Abstract

The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, often with the help of reasoners. For users of Protégé, this involves, for example, exploring the inferred class hierarchy.

We explore the hypothesis that making changes to key entailment sets explicit improves verification compared to the standard static hierarchy/frame-based approach. We implement our approach as a Protégé plugin and conduct an exploratory study to isolate the authoring actions for which users benefit from our approach. In a second controlled study we address our hypothesis and find that, for a set of key authoring problems, making entailment set changes explicit improves the understanding of consequences both in terms of correctness and speed, and is rated as the preferred way to track changes compared to a static hierarchy/frame-based view.

Keywords

Ontology engineering Ontology authoring Reasoning 

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Nicolas Matentzoglu
    • 1
  • Markel Vigo
    • 1
  • Caroline Jay
    • 1
  • Robert Stevens
    • 1
  1. 1.The University of ManchesterManchesterUK