Visual reasoning about ontologies

Tools

HOWSE, JOHN, STAPLETON, GEM and Oliver, Ian (2010) Visual reasoning about ontologies In: Proceedings of the 9th International Semantic Web Conference (ISWC2010), 7-11 November 2010, Shanghai, China, 7-11 November, 2010.

Preview

PDF - Published Version
Available under License Creative Commons Attribution Share Alike.
218Kb

Official URL: http://iswc2010.semanticweb.org/pdf/455.pdf

Abstract

We explore a diagrammatic logic suitable for specifying ontologies using a case study. Diagrammatic reasoning is used to establish consequences of the ontology.

Item Type:	Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information:	Creative Commons Attribution Share Alike 2.0 licence, UK.
Subjects:	G000 Computing and Mathematical Sciences
Faculties:	Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:	8172
Deposited By:	Converis
Deposited On:	11 Feb 2011 12:06
Last Modified:	03 May 2013 04:01

Repository Staff Only: item control page