Oliver, Ian, HOWSE, JOHN, STAPLETON, GEM, Nuutila, Esko and Torma, Seppo (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the 5th Australasian Ontology Workshop, Melbourne, Australia, 1 December, 2009.Full text not available from this repository.
This paper proposes a diagrammatic logic that is suitable for specifying ontologies. We take a case study style approach to presenting the diagrammatic logic, and draw contrast with RDF graphs and description logics. We provide specications of two ontologies and show how to depict instances. Diagrammatic reasoning is used to show that an instance conforms to a specification. We also include examples to show how diagrammatic rules can be used to (a) constrain ontology specifications and (b) define mappings between ontologies. The framework also allows the specification of queries. The positive features of the diagrammatic logic are discussed, supporting a claim that the new logic is intuitive and appropriate for ontology specification. Finally, we discuss the possibilities for developing tools to support the use of the diagrammatic logic, including automated diagram drawing and reasoning procedures.
|Item Type:||Contribution to conference proceedings in the public domain ( Full Paper)|
|Additional Information:||© 2009 Australian Computer Society, Inc. This paper appeared at the 5th Austrailisian Ontologies Workshop. Conferences in Research and Practice in Information Technology (CRPIT), Vol. xx, Vladimir Estivill-Castro and Gillian Dobbie, Ed. Reproduction for academic, not-for profit purposes permitted provided this text is included.|
|Subjects:||G000 Computing and Mathematical Sciences > G100 Mathematics|
|Faculties:||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling|
|Date Deposited:||18 Jul 2011 16:09|
|Last Modified:||03 May 2013 10:45|
Actions (login required)
Downloads per month over past year