Logic and Visual Information
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Projections in Venn-Euler Diagrams
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
SD2: A Sound and Complete Diagrammatic Reasoning System
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Exploring the notion of ‘clutter' in euler diagrams
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
When modelling with three or more sets Euler diagrams can become crowded or cluttered and their ability to intuitively represent relationships between sets diminishes. Projections are a notation that bring syntactic efficiency to Euler diagrams and the flexibility to represent relationships between sets in a variety of semantically equivalent ways. This paper briefly outlines the first sound and complete system of Euler diagrams to incorporate the notation of projections. It defines a metric for measuring clutter in a diagram and outlines an algorithm that, given a diagram of the system, finds a semantically equivalent diagram(s) with the minimal measure of clutter.