Visualizing and specifying ontologies using diagrammatic logics

Authors:
Ian Oliver;John Howse;Gem Stapleton;Esko Nuutila;Seppo Törmä
Affiliations:
Nokia Research, Finland;University of Brighton, UK;University of Brighton, UK;Helsinki University of Technology, Finland;Helsinki University of Technology, Finland
Venue:
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Year:
2009

Citing 17
Cited 2

Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning

Artificial Intelligence Review
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Aligning syntax and semantics in formalisations of visual languages

HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Formalizing Spider Diagrams

VL '99 Proceedings of the IEEE Symposium on Visual Languages
The Expressiveness of Spider Diagrams

Journal of Logic and Computation
Evaluating WordNet-based Measures of Lexical Semantic Relatedness

Computational Linguistics
A Decidable Constraint Diagram Reasoning System

Journal of Logic and Computation
Automated Theorem Proving in Euler Diagram Systems

Journal of Automated Reasoning
Evaluating and generalizing constraint diagrams

Journal of Visual Languages and Computing
A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Visual Mathematics: Diagrammatic Formalization and Proof

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The expressiveness of spider diagrams augmented with constants

Journal of Visual Languages and Computing
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
Semantics and complexity of SPARQL

ISWC'06 Proceedings of the 5th international conference on The Semantic Web

Visualizing ontologies: a case study

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Automatically drawing Euler diagrams with circles

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a diagrammatic logic that is suitable for specifying ontologies. We take a case study style approach to presenting the diagrammatic logic, and draw contrast with RDF graphs and description logics. We provide specifications of two ontologies and show how to depict instances. Diagrammatic reasoning is used to show that an instance conforms to a specification. We also include examples to show how diagrammatic rules can be used to (a) constrain ontology specifications and (b) define mappings between ontologies. The framework also allows the specification of queries. The positive features of the diagrammatic logic are discussed, supporting a claim that the new logic is intuitive and appropriate for ontology specification. Finally, we discuss the possibilities for developing tools to support the use of the diagrammatic logic, including automated diagram drawing and reasoning procedures.