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: 20 Apr 2015 15:29

Actions (login required)

View Item View Item


Downloads per month over past year