Comprehension of justifications is known to be difficult for even experienced ontology engineers, and much more so for other stakeholders. In this paper, we present two methods for displaying justifications using concept diagrams: using multiple concept diagrams to represent the justification (one diagram for each axiom); and using a merged concept diagram to represent all axioms in the justification. We performed an empirical evaluation of both methods along with a textual representation of the justification using Prot´eg´e. The results were that novice users could both more accurately and more quickly identify an incoherence when using merged diagrams than using multiple diagrams or Prot´eg´e statements.
|Name||Frontiers in Artificial Intelligence and Applications|
|Conference||9th International Conference on Formal Ontology in Information Systems (FOIS 2016)|
|Period||1/01/16 → …|
© 2016 The authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License.