Visual reasoning about ontologies

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.

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


Official URL:


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