Skip to main content
Article thumbnail
Location of Repository

The Expressiveness of Spider Diagrams Augmented with Constants

By Gem Stapleton, John Howse, John Taylor and Simon Thompson


Spider diagrams are a visual language for expressing logical statements. Spiders represent the existence of elements and contours denote sets. Several sound and complete spider diagram systems have been developed and it is known that the spider diagram language is equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent specific individuals and give formal semantics for the extended diagram language. We then prove that this extended system is equivalent in expressive power to the language of spider diagrams without constants

Topics: QA76
Publisher: IEEE
Year: 2004
OAI identifier:

Suggested articles


  1. (2003). A reuse based method of developing the ontology for e-procurement, in:
  2. (2005). Collaborative knowledge capture in ontologies, in: doi
  3. (2005). Failure mode modular de-composition using spider diagrams, in: doi
  4. (2006). Formal issues in languages based on closed curves, in:
  5. (2001). Implementing Euler/Venn reasoning systems, in: doi
  6. (2005). Precise visual modelling, doi
  7. (2001). Reasoning with extended Venn–Peirce diagrammatic systems,
  8. (2005). Spider diagrams, doi
  9. (2001). Spider diagrams: a diagrammatic reasoning system, doi
  10. (2004). The expressiveness of spider diagrams augmented with constants, in: doi
  11. (2004). The expressiveness of spider diagrams, doi
  12. (1994). The Logical Status of Diagrams, doi
  13. (2005). The semantics of augmented constraint diagrams, doi
  14. (1998). Three dimensional software modelling, doi
  15. (2002). Towards a visual editing environment for the languages of the semantic web,
  16. (2006). Unified Modeling Language h,
  17. (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of interence, doi
  18. (2005). Using Euler diagrams in traditional library environments, in: doi
  19. (2003). VennFS: a Venn diagram file manager, in: doi
  20. (1999). Visualization of formal specifications, in: doi
  21. (2004). What can spider diagrams say?, in: doi
  22. (1987). Why a diagram is (sometimes) worth ten thousand words, doi

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