Evaluating Diagrammatic Patterns for Ontology Engineering

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


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.
Original languageEnglish
Title of host publicationProceedings of the International Conference on the Theory and Application of Diagrams
Place of PublicationGermany
Number of pages16
ISBN (Print)9783319423326
Publication statusPublished - 1 Jan 2016
EventProceedings of the International Conference on the Theory and Application of Diagrams - Philadelphia, USA, 7-10 August, 2016, Philadelphia, United States
Duration: 7 Aug 201610 Aug 2016

Publication series

NameLecture Notes in Computer Science


ConferenceProceedings of the International Conference on the Theory and Application of Diagrams
Country/TerritoryUnited States

Bibliographical note

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


Dive into the research topics of 'Evaluating Diagrammatic Patterns for Ontology Engineering'. Together they form a unique fingerprint.

Cite this