Visual reasoning about ontologies

John Howse, Gem Stapleton, Ian Oliver

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Abstract

We explore a diagrammatic logic suitable for specifying ontologies using a case study. Diagrammatic reasoning is used to establish consequences of the ontology.
Original languageEnglish
Title of host publicationProceedings of the 9th International Semantic Web Conference (ISWC2010)
Place of PublicationBerlin, Germany
PublisherSpringer
Pages0-0
Number of pages1
Volume6496
ISBN (Electronic)9783642177460
ISBN (Print)9783642177453
Publication statusPublished - 1 Nov 2010
EventProceedings of the 9th International Semantic Web Conference (ISWC2010) - Shanghai, China, 7-11 November, 2010
Duration: 1 Nov 2010 → …

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceProceedings of the 9th International Semantic Web Conference (ISWC2010)
Period1/11/10 → …

Bibliographical note

Creative Commons Attribution Share Alike 2.0 licence, UK.

Fingerprint

Dive into the research topics of 'Visual reasoning about ontologies'. Together they form a unique fingerprint.

Cite this