Enhancing the expressiveness of spider diagram systems

Stapleton, Gem and Howse, John (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.


Download (131kB) | Preview


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.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: © 2006 The Authors
Uncontrolled Keywords: Euler diagrams; Visual languages; Spider diagrams
Subjects: G000 Computing and Mathematical Sciences
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 24 Nov 2007
Last Modified: 20 Apr 2015 15:44
URI: http://eprints.brighton.ac.uk/id/eprint/3269

Actions (login required)

View Item View Item


Downloads per month over past year