Positive Semantics of Projections in Venn-Euler Diagrams
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.
KeywordsVenn Diagram Boundary Contour Positive Semantic Euler Diagram Henry VIII
Unable to display preview. Download preview PDF.
- 1.L. Euler. Lettres a Une Princesse d’Allemagne, volume 2. 1761. Letters No. 102-108.Google Scholar
- 2.J. Gil, J. Howse, and S. Kent. Constraint diagrams: A step beyond UML. In Proceedings of TOOLS USA’ 99, 1999.Google Scholar
- 3.J. Gil, J. Howse, and S. Kent. Formalizing spider diagrams. In Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Press, 1999.Google Scholar
- 4.J. Gil, J. Howse, S. Kent, and J. Taylor. Projections in Venn-Euler diagrams. Manuscript, availalble from the first author., 2000.Google Scholar
- 5.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.
- 7.R. Lull. Ars Magma. Lyons, 1517.Google Scholar
- 8.T. More. On the construction of Venn diagrams. Journal of Symbolic Logic, 24, 1959.Google Scholar
- 9.C. Peirce. Collected Papers. Harvard University Press, 1933.Google Scholar
- 10.S.-J. Shin. The Logical Status of Diagrams. CUP, 1994.Google Scholar
- 11.J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag., 1880. 123.Google Scholar