A proposed diagrammatic logic for ontology specification and visualization

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

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

Abstract

We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.
Original languageEnglish
Title of host publication8th International Semantic Web Conference ISWC 2009 (Posters and Demos)
PublisherSemantic Web Science Association
Publication statusPublished - 2009
Event8th International Semantic Web Conference ISWC 2009 (Posters and Demos) - Chantilly, VA, USA
Duration: 1 Jan 2009 → …

Conference

Conference8th International Semantic Web Conference ISWC 2009 (Posters and Demos)
Period1/01/09 → …

Fingerprint

Ontology
Visualization
Specifications

Cite this

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E., & Torma, S. (2009). A proposed diagrammatic logic for ontology specification and visualization. In 8th International Semantic Web Conference ISWC 2009 (Posters and Demos) Semantic Web Science Association.
Oliver, Ian ; Howse, John ; Stapleton, Gem ; Nuutlia, Esko ; Torma, Seppo. / A proposed diagrammatic logic for ontology specification and visualization. 8th International Semantic Web Conference ISWC 2009 (Posters and Demos). Semantic Web Science Association, 2009.
@inproceedings{63ef8924af5842d0abb53405ce2f73c1,
title = "A proposed diagrammatic logic for ontology specification and visualization",
abstract = "We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.",
author = "Ian Oliver and John Howse and Gem Stapleton and Esko Nuutlia and Seppo Torma",
year = "2009",
language = "English",
booktitle = "8th International Semantic Web Conference ISWC 2009 (Posters and Demos)",
publisher = "Semantic Web Science Association",

}

Oliver, I, Howse, J, Stapleton, G, Nuutlia, E & Torma, S 2009, A proposed diagrammatic logic for ontology specification and visualization. in 8th International Semantic Web Conference ISWC 2009 (Posters and Demos). Semantic Web Science Association, 8th International Semantic Web Conference ISWC 2009 (Posters and Demos), 1/01/09.

A proposed diagrammatic logic for ontology specification and visualization. / Oliver, Ian; Howse, John; Stapleton, Gem; Nuutlia, Esko; Torma, Seppo.

8th International Semantic Web Conference ISWC 2009 (Posters and Demos). Semantic Web Science Association, 2009.

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

TY - GEN

T1 - A proposed diagrammatic logic for ontology specification and visualization

AU - Oliver, Ian

AU - Howse, John

AU - Stapleton, Gem

AU - Nuutlia, Esko

AU - Torma, Seppo

PY - 2009

Y1 - 2009

N2 - We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.

AB - We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.

M3 - Conference contribution with ISSN or ISBN

BT - 8th International Semantic Web Conference ISWC 2009 (Posters and Demos)

PB - Semantic Web Science Association

ER -

Oliver I, Howse J, Stapleton G, Nuutlia E, Torma S. A proposed diagrammatic logic for ontology specification and visualization. In 8th International Semantic Web Conference ISWC 2009 (Posters and Demos). Semantic Web Science Association. 2009