Diagrammatic logics have been widely studied since Shin’s seminal work on Venn diagrams in the 1990s. Diagrammatic logics are believed to allow people to better understand information. There have been significant theoretical advances alongside empirical work investigating their efficacy with respect to symbolic notations in very simple cases such as syllogistic reasoning. The main aim of thesis is to provide empirical evidence that diagrams are more effective than symbolic and textual logics for a range of axiom types. A further aim is to identify, via empirical study, how to choose between syntactically different diagrams when formulating logical axioms; this is a prerequisite to evaluating them compared to symbolic and textual notations. A major application area for logics is ontology engineering: people need to understand the axioms of which ontologies comprise. Thus, ontologies provide an important focus for the empirical work in this thesis. Concept diagrams provide an ideal diagrammatic logic for our study, as they were designed specifically for ontology engineering.
Papers based on this research published at:
The 9th International Conference on the Theory and Application of Diagrams - Pennsylvania, USA
IEEE on Visual Languages and Human-Centric Computing - North Carolina, USA
The 16th International Semantic Web Conference, Vienna, Austria
The 10th International Conference on the Theory and Application of Diagrams - Edinburgh, UK