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.

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

Download (223kB) | Preview


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
Depositing User: Converis
Date Deposited: 11 Feb 2011 12:06
Last Modified: 21 May 2014 11:01

Actions (login required)

View Item View Item


Downloads per month over past year