A Proposed Diagrammatic Logic for Ontology Specification and Visualization

Presented at: 8th International Semantic Web Conference (ISWC2009)

by Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, Seppo Torma

Webpage: http://kcap09.stanford.edu/share/posterDemos/137/index.html
Webpage: http://kcap09.stanford.edu/share/posterDemos/137/paper137.pdf
Webpage: https://github.com/lidingpku/iswc-archive/raw/master/paper/iswc-2009-poster/137/paper137.pdf

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.

Keywords: Semantic Web

Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2009/paper/poster_demo/137

Explore this resource elsewhere: