Positive semantics of projections in Venn-Euler diagrams

Joseph (Yossi) Gil, John Howse, Elena Tulchinsky

Research output: Contribution to journalArticleResearchpeer-review

Abstract

Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as ‘disjointness’ and ‘containment’ of topological contours. Although the notation is effective in delivering a clear visual representation of set theoretical relationships, it does not scale well. The topology of Venn diagrams of four or more contours is so cluttered that it becomes impractical to use it to visualize set relationships. In this work, we study ‘projection contours’, a new means for presenting sets intersections, which is designed to reduce the clutter in such diagrams. Informally, a projected contour is a contour which describes a set of elements limited to a certain context. The challenge in introducing this notation is in producing precise and consistent semantics for the general case, including a diagram comprising several, possibly interacting projections, which might even be of the same base set. The semantics investigated here assigns a ‘positive’ meaning to a projection, i.e. based on the list of contours with which it interacts, where contours disjoint to it do not change its semantics. This semantics is produced by a novel Gaussian-like elimination process for solving set equations. In dealing with multiple projections of the same base set, we introduce yet another extension to Venn–Euler diagrams in which the same set can be described by multiple contours. This extension is of independent interest as a powerful means for reducing the clutter in Venn–Euler diagrams.
Original languageEnglish
Pages (from-to)197-227
Number of pages31
JournalJournal of Visual Languages and Computing
Volume13
Issue number2
DOIs
Publication statusPublished - 1 Apr 2002

Fingerprint

Semantics
Topology

Keywords

  • Visual formalism
  • Diagrammatic notations.

Cite this

Gil, Joseph (Yossi) ; Howse, John ; Tulchinsky, Elena. / Positive semantics of projections in Venn-Euler diagrams. In: Journal of Visual Languages and Computing. 2002 ; Vol. 13, No. 2. pp. 197-227.
@article{5a07c6c68d62469d875ad745048eb6f1,
title = "Positive semantics of projections in Venn-Euler diagrams",
abstract = "Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as ‘disjointness’ and ‘containment’ of topological contours. Although the notation is effective in delivering a clear visual representation of set theoretical relationships, it does not scale well. The topology of Venn diagrams of four or more contours is so cluttered that it becomes impractical to use it to visualize set relationships. In this work, we study ‘projection contours’, a new means for presenting sets intersections, which is designed to reduce the clutter in such diagrams. Informally, a projected contour is a contour which describes a set of elements limited to a certain context. The challenge in introducing this notation is in producing precise and consistent semantics for the general case, including a diagram comprising several, possibly interacting projections, which might even be of the same base set. The semantics investigated here assigns a ‘positive’ meaning to a projection, i.e. based on the list of contours with which it interacts, where contours disjoint to it do not change its semantics. This semantics is produced by a novel Gaussian-like elimination process for solving set equations. In dealing with multiple projections of the same base set, we introduce yet another extension to Venn–Euler diagrams in which the same set can be described by multiple contours. This extension is of independent interest as a powerful means for reducing the clutter in Venn–Euler diagrams.",
keywords = "Visual formalism, Diagrammatic notations.",
author = "Gil, {Joseph (Yossi)} and John Howse and Elena Tulchinsky",
year = "2002",
month = "4",
day = "1",
doi = "10.1006/jvlc.2000.0199",
language = "English",
volume = "13",
pages = "197--227",
journal = "Journal of Visual Languages and Computing",
issn = "1045-926X",
number = "2",

}

Positive semantics of projections in Venn-Euler diagrams. / Gil, Joseph (Yossi); Howse, John; Tulchinsky, Elena.

In: Journal of Visual Languages and Computing, Vol. 13, No. 2, 01.04.2002, p. 197-227.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Positive semantics of projections in Venn-Euler diagrams

AU - Gil, Joseph (Yossi)

AU - Howse, John

AU - Tulchinsky, Elena

PY - 2002/4/1

Y1 - 2002/4/1

N2 - Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as ‘disjointness’ and ‘containment’ of topological contours. Although the notation is effective in delivering a clear visual representation of set theoretical relationships, it does not scale well. The topology of Venn diagrams of four or more contours is so cluttered that it becomes impractical to use it to visualize set relationships. In this work, we study ‘projection contours’, a new means for presenting sets intersections, which is designed to reduce the clutter in such diagrams. Informally, a projected contour is a contour which describes a set of elements limited to a certain context. The challenge in introducing this notation is in producing precise and consistent semantics for the general case, including a diagram comprising several, possibly interacting projections, which might even be of the same base set. The semantics investigated here assigns a ‘positive’ meaning to a projection, i.e. based on the list of contours with which it interacts, where contours disjoint to it do not change its semantics. This semantics is produced by a novel Gaussian-like elimination process for solving set equations. In dealing with multiple projections of the same base set, we introduce yet another extension to Venn–Euler diagrams in which the same set can be described by multiple contours. This extension is of independent interest as a powerful means for reducing the clutter in Venn–Euler diagrams.

AB - Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as ‘disjointness’ and ‘containment’ of topological contours. Although the notation is effective in delivering a clear visual representation of set theoretical relationships, it does not scale well. The topology of Venn diagrams of four or more contours is so cluttered that it becomes impractical to use it to visualize set relationships. In this work, we study ‘projection contours’, a new means for presenting sets intersections, which is designed to reduce the clutter in such diagrams. Informally, a projected contour is a contour which describes a set of elements limited to a certain context. The challenge in introducing this notation is in producing precise and consistent semantics for the general case, including a diagram comprising several, possibly interacting projections, which might even be of the same base set. The semantics investigated here assigns a ‘positive’ meaning to a projection, i.e. based on the list of contours with which it interacts, where contours disjoint to it do not change its semantics. This semantics is produced by a novel Gaussian-like elimination process for solving set equations. In dealing with multiple projections of the same base set, we introduce yet another extension to Venn–Euler diagrams in which the same set can be described by multiple contours. This extension is of independent interest as a powerful means for reducing the clutter in Venn–Euler diagrams.

KW - Visual formalism

KW - Diagrammatic notations.

U2 - 10.1006/jvlc.2000.0199

DO - 10.1006/jvlc.2000.0199

M3 - Article

VL - 13

SP - 197

EP - 227

JO - Journal of Visual Languages and Computing

T2 - Journal of Visual Languages and Computing

JF - Journal of Visual Languages and Computing

SN - 1045-926X

IS - 2

ER -