Location of Repository

Visual reasoning about ontologies

By John Howse, Gem Stapleton and Ian Oliver

Abstract

We explore a diagrammatic logic suitable for specifying ontologies using a case study. Diagrammatic reasoning is used to establish consequences of the ontology

Topics: G000 Computing and Mathematical Sciences
Publisher: Springer
Year: 2010
OAI identifier: oai:eprints.brighton.ac.uk:8172

Suggested articles

Preview

Citations

  1. (2008). A diagrammatic reasoning system for the description logic ALC. doi
  2. (2009). Computing explanations for entailments in description logic based ontologies.
  3. (2003). The Description Logic Handbook. doi
  4. (2009). Visualizing and specifying ontologies using diagrammatic logics.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.