Projections in Venn-Euler diagrams

Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we consider many closed curves or contours. In order to reduce this clutter, and to focus attention within the diagram appropriately, the notion of a projected contour, or projection, is introduced. Informally, a projected contour is a contour that describes a set of elements limited to a certain context. Through a series of examples, we develop a formal semantics of projections and discuss the issues involved in introducing these.

[1]  Jos Warmer,et al.  The object constraint language , 1998 .

[2]  Stuart Kent,et al.  Reasoning with spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[3]  Stuart Kent,et al.  Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.

[4]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[5]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[6]  Leonhard Euler,et al.  Lettres à une princesse d'Allemagne sur divers sujets de physique & de philosophie , 1812 .

[7]  Trenchard More.  On the Construction of Venn Diagrams , 1959, J. Symb. Log..

[8]  John Taylor,et al.  On the Completeness and Expressiveness of Spider Diagram Systems , 2000, Diagrams.

[9]  Stuart Kent,et al.  Formalizing spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[10]  John Taylor,et al.  A Sound and Complete Diagrammatic Reasoning System , 2000, Artificial Intelligence and Soft Computing.

[11]  John Howse,et al.  Positive Semantics of Projections in Venn-Euler Diagrams , 2000, J. Vis. Lang. Comput..

[12]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[13]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  G. L..  Collected Papers , 1912, Nature.

[16]  Stuart Kent,et al.  Constraint Diagrams: A Step Beyond UML , 1999, TOOLS.

[17]  John Howse,et al.  Positive Semantics of Projections in Venn-Euler Diagrams , 2000, Diagrams.