A Proposed Diagrammatic Logic for Ontology Specification and Visualization
- Ian Oliver, Nokia Researcg
- John Howse, University of Brighton
- Gem Stapleton, University of Brighton
- Esko Nuutila, Helsinki University of Technology
- Seppo Torma, Helsinki University of Technology
Abstract
- We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.
Files
Return to the previous page.
