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 modeling of set theoretical relationships, it does not scale well. 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.
Work done in part during a sabbatical stay at the IBM T. J. Watson Research Center
Research was supported by generous funding from the Bar-Nir Bergreen Software Technology Center of Excellence-the Software Technology Laboratory (STL), at the department of computer science, the Technion
Research was supported by the UK EPSRC grant number GR/M02606
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
L. Euler. Lettres a Une Princesse d’Allemagne, volume 2. 1761. Letters No. 102-108.
J. Gil, J. Howse, and S. Kent. Constraint diagrams: A step beyond UML. In Proceedings of TOOLS USA’ 99, 1999.
J. Gil, J. Howse, and S. Kent. Formalizing spider diagrams. In Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Press, 1999.
J. Gil, J. Howse, S. Kent, and J. Taylor. Projections in Venn-Euler diagrams. Manuscript, availalble from the first author., 2000.
J. Gil and Y. Sorkin. Ensuring constraint diagram’s consistency: the cdeditor user friendly approach. Manuscript, availalble from the second author; a copy of the editor is available as http://www.geocities.com/ysorkin/cdeditor/, Mar. 2000.
B. Grünbaum. Venn diagrams I. Geombinatorics, 1(2):5–12, 1992.
R. Lull. Ars Magma. Lyons, 1517.
T. More. On the construction of Venn diagrams. Journal of Symbolic Logic, 24, 1959.
C. Peirce. Collected Papers. Harvard University Press, 1933.
S.-J. Shin. The Logical Status of Diagrams. CUP, 1994.
J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag., 1880. 123.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gil, J.Y., Howse, J., Tulchinsky, E. (2000). Positive Semantics of Projections in Venn-Euler Diagrams. In: Anderson, M., Cheng, P., Haarslev, V. (eds) Theory and Application of Diagrams. Diagrams 2000. Lecture Notes in Computer Science(), vol 1889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44590-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-44590-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67915-8
Online ISBN: 978-3-540-44590-6
eBook Packages: Springer Book Archive