A proposed diagrammatic logic for ontology specification and visualization

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

A proposed diagrammatic logic for ontology specification and visualization

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

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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 language	English
Title of host publication	8th International Semantic Web Conference ISWC 2009 (Posters and Demos)
Publisher	Semantic Web Science Association
Publication status	Published - 2009
Event	8th International Semantic Web Conference ISWC 2009 (Posters and Demos) - Chantilly, VA, USA Duration: 1 Jan 2009 → …

Conference

Conference	8th International Semantic Web Conference ISWC 2009 (Posters and Demos)
Period	1/01/09 → …

Access to Document

http://www.researchgate.net/publication/228819718_A_proposed_diagrammatic_logic_for_ontology_specification_and_visualizationLicence: Unspecified

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. http://www.researchgate.net/publication/228819718_A_proposed_diagrammatic_logic_for_ontology_specification_and_visualization

@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",

note = "8th International Semantic Web Conference ISWC 2009 (Posters and Demos) ; Conference date: 01-01-2009",

}

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. <http://www.researchgate.net/publication/228819718_A_proposed_diagrammatic_logic_for_ontology_specification_and_visualization>

A proposed diagrammatic logic for ontology specification and visualization. / Oliver, Ian; Howse, John; Stapleton, Gem et al.
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 ISBN › Conference contribution with ISSN or ISBN › peer-review

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

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

Y2 - 1 January 2009

ER -

A proposed diagrammatic logic for ontology specification and visualization

Abstract

Conference

Access to Document

Fingerprint

Cite this