### Abstract

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 language | English |
---|---|

Title of host publication | Proceedings of the International Conference on the Theory and Application of Diagrams |

Place of Publication | Germany |

Publisher | Springer |

Pages | 51-66 |

Number of pages | 16 |

ISBN (Print) | 9783319423326 |

Publication status | Published - 1 Jan 2016 |

Event | Proceedings of the International Conference on the Theory and Application of Diagrams - Philadelphia, USA, 7-10 August, 2016, Philadelphia, United States Duration: 7 Aug 2016 → 10 Aug 2016 |

### Publication series

Name | Lecture Notes in Computer Science |
---|

### Conference

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

Country | United States |

City | Philadelphia |

Period | 7/08/16 → 10/08/16 |

### Bibliographical note

The final publication is available at Springer via http://link.springer.com/chapter/10.1007%2F978-3-319-42333-3_5## Fingerprint Dive into the research topics of 'Evaluating Diagrammatic Patterns for Ontology Engineering'. Together they form a unique fingerprint.

## Cite this

Alharbi, E., Howse, J., Stapleton, G., & Hamie, A. (2016). Evaluating Diagrammatic Patterns for Ontology Engineering. In

*Proceedings of the International Conference on the Theory and Application of Diagrams*(pp. 51-66). (Lecture Notes in Computer Science). Springer. http://link.springer.com/chapter/10.1007%2F978-3-319-42333-3_5