TY - GEN

T1 - Evaluating Diagrammatic Patterns for Ontology Engineering

AU - Alharbi, Eisa

AU - Howse, John

AU - Stapleton, Gem

AU - Hamie, Ali

N1 - The final publication is available at Springer via http://link.springer.com/chapter/10.1007%2F978-3-319-42333-3_5

PY - 2016/1/1

Y1 - 2016/1/1

N2 - Diagrammatic logics have been widely studied since Shin'sseminal work on Venn diagrams in the 1990s. There have been significant theoretical advances alongside empirical work investigating their efficacy with respect to symbolic notations. However, we have little understanding about how to choose between syntactically different diagrams whenformulating logical axioms. This paper sets out to provide insight into such choices. By appealing to ontology engineering, we identify commonly required semantic properties that require axiomatization. We systematically identify three different ways of axiomatizing these properties using diagrammatic patterns. One way does not use explicit quantification.The other ways both use explicit quantification but employ different diagrammatic devices to capture the required semantics. We evaluated these competing patterns by conducting an empirical study, collectingperformance data.We conclude that avoiding explicit quantification, and representing the information purely diagrammatically, best supports task performance. As a result, users and designers of diagrammatic logics are guided towards avoiding explicit quantification where possible.

AB - Diagrammatic logics have been widely studied since Shin'sseminal work on Venn diagrams in the 1990s. There have been significant theoretical advances alongside empirical work investigating their efficacy with respect to symbolic notations. However, we have little understanding about how to choose between syntactically different diagrams whenformulating logical axioms. This paper sets out to provide insight into such choices. By appealing to ontology engineering, we identify commonly required semantic properties that require axiomatization. We systematically identify three different ways of axiomatizing these properties using diagrammatic patterns. One way does not use explicit quantification.The other ways both use explicit quantification but employ different diagrammatic devices to capture the required semantics. We evaluated these competing patterns by conducting an empirical study, collectingperformance data.We conclude that avoiding explicit quantification, and representing the information purely diagrammatically, best supports task performance. As a result, users and designers of diagrammatic logics are guided towards avoiding explicit quantification where possible.

M3 - Conference contribution with ISSN or ISBN

SN - 9783319423326

T3 - Lecture Notes in Computer Science

SP - 51

EP - 66

BT - Proceedings of the International Conference on the Theory and Application of Diagrams

PB - Springer

CY - Germany

T2 - Proceedings of the International Conference on the Theory and Application of Diagrams

Y2 - 7 August 2016 through 10 August 2016

ER -