Presented at: 8th International Semantic Web Conference (ISWC2009)http://kcap09.stanford.edu/share/posterDemos/137/index.html
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: