Generating Euler Diagrams

Authors:
Jean Flower;John Howse
Affiliations:
-;-
Venue:
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Year:
2002

Citing 11
Cited 26

Graph Theory, 1736-1936

Graph Theory, 1736-1936
Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Decidability of string graphs

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Logic and Visual Information

Logic and Visual Information
Graph Drawing: Algorithms for the Visualization of Graphs

Graph Drawing: Algorithms for the Visualization of Graphs
On the Completeness and Expressiveness of Spider Diagram Systems

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Drawing Hypergraphs in the Subset Standard (Short Demo Paper)

GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Towards a Formalization of Constraint Diagrams

HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Formalizing Spider Diagrams

VL '99 Proceedings of the IEEE Symposium on Visual Languages

On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Decidability of string graphs

Journal of Computer and System Sciences - STOC 2001
EulerView: a non-hierarchical visualization component

VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Topological maps from signals

Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Visual Mathematics: Diagrammatic Formalization and Proof

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
General Euler Diagram Generation

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Euler Diagram Decomposition

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Euler diagram generation

Journal of Visual Languages and Computing
Exploring Human Factors in Formal Diagram Usage

Engineering Interactive Systems
Subdivision Drawings of Hypergraphs

Graph Drawing
A graph theoretic approach to general Euler diagram drawing

Theoretical Computer Science
Diagrammatic Formal Specification of a Configuration Control Platform

Electronic Notes in Theoretical Computer Science (ENTCS)
Failure Mode Modular De-Composition Using Spider Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Abstractions of Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Using Euler Diagrams in Traditional Library Environments

Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient on-line algorithms for Euler diagram region computation

Computational Geometry: Theory and Applications
Drawing euler diagrams with circles

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
A general method for drawing area-proportional Euler diagrams

Journal of Visual Languages and Computing
On planar supports for hypergraphs

GD'09 Proceedings of the 17th international conference on Graph Drawing
Automatically drawing Euler diagrams with circles

Journal of Visual Languages and Computing
Fully automatic visualisation of overlapping sets

EuroVis'09 Proceedings of the 11th Eurographics / IEEE - VGTC conference on Visualization
Visualizing and specifying ontologies using diagrammatic logics

AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
An interactive visualization interface for studying egocentric, categorical, contact diary datasets

Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Twelve years of diagrams research

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article describes an algorithm for the automated generation of any Euler diagram starting with an abstract description of the diagram. An automated generation mechanism for Euler diagrams forms the foundations of a generation algorithm for notations such as Harel's higraphs, constraint diagrams and some of the UML notation. An algorithm to generate diagrams is an essential component of a diagram tool for users to generate, edit and reason with diagrams.The work makes use of properties of the dual graph of an abstract diagram to identify which abstract diagrams are "drawable" within given wellformedness rules on concrete diagrams. A Java program has been written to implement the algorithm and sample output is included.