A graph theoretic approach to general Euler diagram drawing

Theoretical Computer Science

Volumn 411, Issue 1, 2010, Pages 91-112

  Stapleton, Gem ^a   Howse, John ^a   Rodgers, Peter ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Euler diagrams; Graph drawing; Information visualization; Venn diagrams

Indexed keywords

DUAL GRAPHS; EMBEDDINGS; EULER DIAGRAMS; GRAPH DRAWING; GRAPH THEORETIC APPROACH; INFORMATION VISUALIZATION; VENN DIAGRAMS;

DRAWING (GRAPHICS); INFORMATION SCIENCE; INFORMATION SYSTEMS; VISUALIZATION;

ABSTRACTING;

EID: 71749094874     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.09.005     Document Type: Article

References (28)

1. Euler L. Lettres a une princesse dallemagne sur divers sujets de physique et de philosophie. Letters 2 (1775) 102-108 berne, Socit Typographique
2. Chow S., and Ruskey F. Drawing area-proportional Venn and Euler diagrams. Proceedings of Graph Drawing 2003, Perugia, Italy. LNCS vol. 2912 (2003), Springer-Verlag 466-477
3. Kestler H., Muller A., Gress T., and Buchholz M. Generalized Venn diagrams: A new method for visualizing complex genetic set relations. Journal of Bioinformatics 21 8 (2005) 1592-1595
4. Verroust A., and Viaud M.-L. Ensuring the drawability of Euler diagrams for up to eight sets. Proceedings of 3rd International Conference on the Theory and Application of Diagrams. LNAI vol. 2980 (2004), Springer, Cambridge, UK 128-141
5. DeChiara R., Erra U., and Scarano V. VennFS: A Venn diagram file manager. Proceedings of Information Visualisation (2003), IEEE Computer Society 120-126
6. J. Lovdahl, Towards a visual editing environment for the languages of the semantic web, Ph.D. Thesis, Linkoping University, 2002
7. P. Hayes, T. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, D. Bobrovnikoff, Collaborative knowledge capture in ontologies, in: Proceedings of the 3rd International Conference on Knowledge Capture, 2005, pp. 99-106
8. Kim S.-K., and Carrington D. Visualization of formal specifications. 6th Aisa Pacific Software Engineering Conference (1999), IEEE Computer Society Press, Los Alamitos, CA, USA 102-109
9. Artes P., and Chauhan B. Longitudinal changes in the visual field and optic disc in glaucoma. Progress in Retinal and Eye Research 24 3 (2005) 333-354
10. Lenz O., and Fornoni A. Chronic kidney disease care delivered by us family medicine and internal medicine trainees: Results from an online survey. BMC Medicine 4 30 (2006)
11. Hammer E. Logic and Visual Information (1995), CSLI Publications
12. Clark R. Failure mode modular de-composition using spider diagrams. Proceedings of Euler Diagrams 2004. ENTCS vol. 134 (2005) 19-31
13. Niebrój L. Defining health/illness: Societal and/or clinical medicine?. Journal Physiology and Pharmacology 57 4 (2006) 251-262
14. DeChiara R., Erra U., and Scarano V. A system for virtual directories using Euler diagrams. Proceedings of Euler Diagrams 04. Electronic Notes in Theoretical Computer Science vol. 134 (2005) 33-53
15. Thièvre J., Viaud M., and Verroust-Blondet A. Using Euler diagrams in traditional library environments. Euler Diagrams 2004. ENTCS vol. 134 (2005) 189-202
16. Chow S., and Ruskey F. Towards a general solution to drawing area-proportional Euler diagrams. Proceedings of Euler Diagrams. ENTCS vol. 134 (2005) 3-18
17. Kestler H., Muller A., Kraus J., Buchholz M., Gress T., Liu H., Kane D., Zeeberg B., and Weinstein J. Vennmaster: Area-proportional Euler diagrams for functional go analysis of microarrays. BMC Bioinformatics 9 67 (2008)
18. Simonetto P., and Auber D. Visualise undrawable Euler diagrams. 12th International Conference on Information Visualization (2008), IEEE 594-599
19. S. Chow, Generating and drawing area-proportional Euler and Venn diagrams, Ph.D. Thesis, University of Victoria, 2007
20. G. Stapleton, J. Howse, P. Rodgers, L. Zhang, Generating Euler diagrams from existing layouts, in: Layout of (Software) Engineering Diagrams, ECEASST, 2008
21. J. Venn, On the diagrammatic and mechanical representation of propositions and reasonings, Phil. Mag.
22. Edwards A.W. Venn diagrams for many sets. New Scientist 7 (1989) 51-56
23. Flower J., and Howse J. Generating Euler diagrams. Proceedings of 2nd International Conference on the Theory and Application of Diagrams (2002), Springer, Georgia, USA 61-75
24. Rodgers P., Zhang L., and Fish A. General Euler diagram generation. International Conference on the Theory and Application of Diagrams (2008), Springer
25. Lemon O., and Pratt I. Spatial logic and the complexity of diagrammatic reasoning. Machine GRAPHICS and VISION 6 1 (1997) 89-108
26. Swoboda N., and Allwein G. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling 3 2 (2004) 136-149
27. G. Stapleton, P. Rodgers, J. Howse, J. Taylor, Properties of Euler diagrams, in: Proceedings of Layout of Software Engineering Diagrams, EASST, 2007, pp. 2-16
28. Stapleton G., Masthoff J., Flower J., Fish A., and Southern J. Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning 39 (2007) 431-470