Location of Repository

Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority are monadic and some include equality. Spider diagrams are one such language, being equivalent in expressive power to monadic first order logic with equality. Spiders are used to represent the existence of elements or specific individuals and distinct spiders represent distinct elements. Logical connectives are used to join diagrams, increasing the expressiveness of the language. Spider diagrams that do not incorporate logical connectives are called unitary diagrams. In this paper we explore generalizations of the spider diagram system. We consider the effects of these generalizations on the expressiveness of unitary spider diagrams and on conciseness

Topics:
G000 Computing and Mathematical Sciences

Publisher: Knowledge Systems Institute

Year: 2006

OAI identifier:
oai:eprints.brighton.ac.uk:3269

Provided by:
University of Brighton Repository

Downloaded from
http://eprints.brighton.ac.uk/3269/1/VLc06-Stapleton.pdf

- (2003). A constraint diagram reasoning system.
- (2005). A decidable constraint diagram reasoning system.
- (2005). A new language for the visualisation of logic and reasoning.
- (2004). Automated theorem proving with spider diagrams.
- (2005). Collaborative knowledge capture in ontologies.
- (1933). Collected Papers,
- (1997). Constraint diagrams: Visualizing invariants in object oriented modelling.
- (2004). Dr Doodle: A diagrammatic theorem prover.
- (2003). Drawing area-proportional Venn and Euler diagrams.
- Drawing graphs in Euler diagrams.
- (2004). Dynamic Euler diagram drawing.
- (2004). Ensuring the drawability of Euler diagrams for up to eight sets.
- (2005). Euler diagrams for visualizing annotated gene expression data.
- (2004). Failure mode modular de-composition using spider diagrams.
- (1999). Formalising spider diagrams.
- (2002). Generating Euler diagrams.
- (2004). Generating proofs with spider diagrams using heuristics.
- (2004). Generating readable proofs: A heuristic approach to theorem proving with spider diagrams.
- (2004). Investigating reasoning with constraint diagrams.
- (2003). Layout metrics for Euler diagrams.
- (1995). Logic and Visual Information.
- (2001). Mathematical Reasoning with Diagrams.
- (2005). Precise visual modelling.
- (2005). Spider diagrams.
- (2005). Tableaux for diagrammatic reasoning.
- (2004). The expressiveness of spider diagrams augmented with constants.
- (2004). The expressiveness of spider diagrams.
- (1994). The Logical Status of Diagrams.
- (2005). The semantics of augmented constraint diagrams.
- (2005). Towards a general solution to drawing area-proportional Euler diagrams.
- (2002). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of interence.
- (2003). VennFS: A Venn diagram file manager.
- (1999). Visualization of formal specifications.

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