Location of Repository

Euler diagrams are used in a wide variety of areas for representing information about relationships between collections of objects. Recently, several techniques for automated Euler diagram drawing have been proposed, contributing to the Euler diagram generation problem: given an abstract description, draw an Euler diagram with that description and which possesses certain properties, sometimes called well-formedness conditions. We present the first fully formalized, general framework that permits the embedding of Euler diagrams that possess any collection of the six typically considered well-formedness conditions. Our method first converts the abstract description into a vertex-labelled graph. An Euler diagram can then be formed, essentially by finding a dual graph of such a graph. However, we cannot use an arbitrary plane embedding of the vertex-labelled graph for this purpose. We identify specific embeddings that allow the construction of appropriate duals. From these embeddings, we can also identify precisely which properties the drawn Euler diagram will possess and 'measure' the number of times that each well-formedness condition is broken. We prove that every abstract description can be embedded using our method. Moreover, we identify exactly which (large) class of Euler diagrams can be generated

Topics:
G000 Computing and Mathematical Sciences

Publisher: Elsevier

Year: 2010

DOI identifier: 10.1016/j.tcs.2009.09.005

OAI identifier:
oai:eprints.brighton.ac.uk:8162

Provided by:
University of Brighton Repository

Downloaded from
http://eprints.brighton.ac.uk/8162/

- (2005). A system for virtual directories using Euler diagrams, in:
- (2007). Automated theorem proving in Euler diagrams systems,
- Chronic kidney disease care delivered by us family medicine and internal medicine trainees: results from an online survey,
- (2005). Collaborative knowledge capture in ontologies, in:
- (2006). Defining health/illness: Societal and/or clinical medicine?,
- (2003). Drawing area-proportional Venn and Euler diagrams, in:
- (2004). Ensuring the drawability of Euler diagrams for up to eight sets, in:
- (2004). Failure mode modular de-composition using spider diagrams, in:
- (2008). General Euler diagram generation, in:
- (2005). Generalized Venn diagrams: A new method for visualizing complex genetic set relations,
- (2007). Generating and drawing area-proportional Euler and Venn diagrams,
- (2008). Generating Euler diagrams from existing layouts, in: Layout of (Software) Engineering Diagrams,
- (2002). Generating Euler diagrams, in:
- (1775). Lettres a une princesse dallemagne sur divers sujets de physique et de philosophie,
- (1995). Logic and Visual Information,
- (2005). Longitudinal changes in the visual field and optic disc in glaucoma,
- On the diagrammatic and mechanical representation of propositions and reasonings,
- (2007). Properties of Euler diagrams, in:
- (1997). Spatial logic and the complexity of diagrammatic reasoning,
- (2005). Towards a general solution to drawing area-proportional Euler diagrams, in:
- (2002). Towards a visual editing environment for the languages of the semantic web,
- (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference,
- (2004). Using Euler diagrams in traditional library environments, in:
- (1989). Venn diagrams for many sets.,
- (2003). VennFS: A Venn diagram file manager, in:
- Vennmaster: Area-proportional Euler diagrams for functional go analysis of microarrays,
- (2008). Visualise undrawable Euler diagrams, in:
- (1999). Visualization of formal specifications, in:

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.