Visualizing and specifying ontologies using diagrammatic logics

Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, Seppo Torma

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 5th Australasian Ontology Workshop
Place of PublicationAustralia
PublisherCSIR
Pages3-12
Number of pages10
ISBN (Print)9781920682910
Publication statusPublished - 1 Jan 2009
EventProceedings of the 5th Australasian Ontology Workshop - Melbourne, Australia, 1 December, 2009
Duration: 1 Jan 2009 → …

Workshop

WorkshopProceedings of the 5th Australasian Ontology Workshop
Period1/01/09 → …

Fingerprint

Ontology
Specifications
Drawing (graphics)

Bibliographical note

© 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.

Cite this

Oliver, I., Howse, J., Stapleton, G., Nuutila, E., & Torma, S. (2009). Visualizing and specifying ontologies using diagrammatic logics. In Proceedings of the 5th Australasian Ontology Workshop (pp. 3-12). Australia: CSIR.
Oliver, Ian ; Howse, John ; Stapleton, Gem ; Nuutila, Esko ; Torma, Seppo. / Visualizing and specifying ontologies using diagrammatic logics. Proceedings of the 5th Australasian Ontology Workshop. Australia : CSIR, 2009. pp. 3-12
@inproceedings{374bc4a232c74e5494965aac7a9899f6,
title = "Visualizing and specifying ontologies using diagrammatic logics",
abstract = "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.",
author = "Ian Oliver and John Howse and Gem Stapleton and Esko Nuutila and Seppo Torma",
note = "{\circledC} 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.",
year = "2009",
month = "1",
day = "1",
language = "English",
isbn = "9781920682910",
pages = "3--12",
booktitle = "Proceedings of the 5th Australasian Ontology Workshop",
publisher = "CSIR",

}

Oliver, I, Howse, J, Stapleton, G, Nuutila, E & Torma, S 2009, Visualizing and specifying ontologies using diagrammatic logics. in Proceedings of the 5th Australasian Ontology Workshop. CSIR, Australia, pp. 3-12, Proceedings of the 5th Australasian Ontology Workshop, 1/01/09.

Visualizing and specifying ontologies using diagrammatic logics. / Oliver, Ian; Howse, John; Stapleton, Gem; Nuutila, Esko; Torma, Seppo.

Proceedings of the 5th Australasian Ontology Workshop. Australia : CSIR, 2009. p. 3-12.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

TY - GEN

T1 - Visualizing and specifying ontologies using diagrammatic logics

AU - Oliver, Ian

AU - Howse, John

AU - Stapleton, Gem

AU - Nuutila, Esko

AU - Torma, Seppo

N1 - © 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.

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

M3 - Conference contribution with ISSN or ISBN

SN - 9781920682910

SP - 3

EP - 12

BT - Proceedings of the 5th Australasian Ontology Workshop

PB - CSIR

CY - Australia

ER -

Oliver I, Howse J, Stapleton G, Nuutila E, Torma S. Visualizing and specifying ontologies using diagrammatic logics. In Proceedings of the 5th Australasian Ontology Workshop. Australia: CSIR. 2009. p. 3-12