Euler diagram-based notations

John Howse, R. Bosworth, Andrew Fish, Gem Stapleton, J. Taylor, P. Rodgers, S. Thompson

Research output: Other contribution


Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we survey notations based on Euler diagrams with particular emphasis on formalization and the development of software tool support.
Original languageEnglish
PublisherUniversity of Brighton
Place of PublicationBrighton, UK
Publication statusPublished - 2006

Bibliographical note



  • Visual formalisms
  • diagrammatic reasoning
  • automated reasoning
  • software specification
  • information visualization


Dive into the research topics of 'Euler diagram-based notations'. Together they form a unique fingerprint.

Cite this