A proposed diagrammatic logic for ontology specification and visualization

Tools

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A proposed diagrammatic logic for ontology specification and visualization In: International Semantic Web Conference, 25-29 October 2009, Chantilly, VA, USA.

Full text not available from this repository.

Official URL: http://kcap09.stanford.edu/share/posterDemos/137/p...

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.

Item Type:	Contribution to conference proceedings in the public domain ( Full Paper)
Subjects:	G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties:	Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling Faculty of Science and Engineering > School of Computing, Engineering and Mathematics
ID Code:	8971
Deposited By:	editor cmis
Deposited On:	14 Dec 2011 12:51
Last Modified:	21 Mar 2013 02:18

Repository Staff Only: item control page