Skip to main content
Article thumbnail
Location of Repository

Visual reasoning about ontologies

By John Howse, Gem Stapleton and Ian Oliver


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:

Suggested articles


  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.