STAPLETON, GEM and HOWSE, JOHN
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.
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.
Contribution to conference proceedings in the public domain
( Full Paper)
||© 2006 The Authors
||Euler diagrams; Visual languages; Spider diagrams
||G000 Computing and Mathematical Sciences
||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
||24 Nov 2007
||21 May 2014 11:01
Actions (login required)
Downloads per month over past year