Enhancing the expressiveness of spider diagram systems

Gem Stapleton, John Howse

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing
Place of PublicationSkokie, IL, USA
PublisherKnowledge Systems Institute
Pages129-138
Number of pages10
Publication statusPublished - 1 Aug 2006
EventProceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing - Grand Canyon, USA, 30 August - 1 September, 2006
Duration: 1 Aug 2006 → …

Conference

ConferenceProceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing
Period1/08/06 → …

Bibliographical note

© 2006 The Authors

Keywords

  • Euler diagrams
  • Visual languages
  • Spider diagrams

Fingerprint Dive into the research topics of 'Enhancing the expressiveness of spider diagram systems'. Together they form a unique fingerprint.

Cite this