A survey of Euler diagrams

Journal of Visual Languages and Computing

Volumn 25, Issue 3, 2014, Pages 134-155

  Rodgers, Peter ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Euler diagrams

Indexed keywords

EID: 84884216079     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2013.08.006     Document Type: Article

References (126)

1. A.S. Al-Watban, Z.R. Yang, Bimodal gene prediction via gap maximisation, in: BIOCOMP'12, 2012.
2. Alper B., Riche N., Ramos G., Czerwinski M. Design study of linesets, a novel set visualization technique. IEEE Transactions on Visualization and Computer Graphics 2011, 17(12):2259-2267.
3. Archambault D., Purchase H., Pinaud B. Animation, small multiples, and the effect of mental map preservation in dynamic graphs. IEEE Transactions on Visualization and Computer Graphics 2011, 17(4):539-552.
4. Baron M.E. A note on the historical development of logic diagrams. Leibniz, Euler and Venn. The Mathematical Gazette 1969, 53(384):113-125.
5. Barwise J., Shimojima A. Surrogate reasoning. Cognitive Studies. Bulletin of the Japanese Cognitive Science Society 1995, 2(4):7-27.
6. Di Battista G., Eades P., Tamassia R., Tollis I.G. Graph Drawing. Algorithms for the Visualization of Graphs 1999, Prentice Hall.
7. F. Benoy, P. Rodgers, Evaluating the comprehension of Euler diagrams, in: 11th International Conference on Information Visualization, IEEE Computer Society, 2007, pp. 771-778.
8. F. Bertault, P. Eades, Drawing hypergraphs in the subset standard, in: Proceedings of the Eighth International Symposium on Graph Drawing, LNCS, vol. 1984, Springer Verlag, 2000, pp. 164-169.
9. A. Blake, G. Stapleton, P. Rodgers, L. Cheek, J. Howse, Does the orientation of an Euler diagram affect user comprehension? in: Proceedings of the 18th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (VLC 2012), vol. 18, Knowledge Systems Institute, 2012, pp. 185-190.
10. P. Bottoni, G. Cordasco, R. De Chiara, A. Fish, V. Scarano, Personalised resource categorisation using Euler diagrams, in: End-User Development: Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings, vol. 6654, Springer, 2011, p. 251.
11. P. Bottoni, G. Costagliola, A. Fish, Euler diagram encodings, in: Diagrams, 2012, pp. 148-162.
12. P. Bottoni, A. Fish, Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information, Diagrammatic Representation and Inference, 2010, pp. 39-53.
13. Brand T.E., Sherlock A.J. Vk'+ v'k. Venn diagrams or Karnaugh maps, but not both?. Mathematics in School 1972, 1(7):4-7.
14. B. Bultena, B. Grünbaum, B.G. Unbaum, F. Ruskey, Convex drawings of intersecting families of simple closed curves, in: 11th Canadian Conference on Computational Geometry, 1999, pp. 18-21.
15. Burton J., Stapleton G., Hamie A. Transforming constraint diagrams. Visual Languages and Logic 2009, 62-80.
16. Carvalho P.C., Yates J.R., Barbosa V.C. Analyzing shotgun proteomic data with Patternlab for proteomics. Current Protocols in Bioinformatics 2010, 13.
17. P. Chapman, G. Stapleton, Creating a second order diagrammatic logic, in: Diagrammatic Representation and Inference, 2010, pp. 298-300.
18. P. Chapman, G. Stapleton, Introducing second-order spider diagrams for defining regular languages, in: VL/HCC, 2010, pp. 159-167.
19. P. Chapman, G. Stapleton, J. Howse, I. Oliver, Deriving sound inference rules for concept diagrams, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2011, IEEE, 2011, pp. 87-94.
20. Chen H., Boutros P.C. Venndiagram. a package for the generation of highly-customizable Venn and Euler diagrams in R. BMC Bioinformatics 2011, 12(1):35.
21. L. Choudhury, M.K. Chakraborty, On extending Venn diagrams by augmenting names of individuals, in: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, LNAI, vol. 2980, Springer-Verlag, March 2004, pp. 142-146.
22. S. Chow, Generating and Drawing Area-Proportional Euler and Venn Diagrams. Ph.D. Thesis, University of Victoria, 2007.
23. S. Chow, P. Rodgers, Constructing area-proportional Venn and Euler diagrams with three circles, in: Proceedings of Euler Diagrams 2005, 2005.
24. S. Chow, F. Ruskey, Drawing area-proportional Venn and Euler diagrams, in: Proceedings of Graph Drawing 2003, Perugia, Italy, LNCS, vol. 2912, Springer-Verlag, 2003, pp. 466-477.
25. S. Chow, F. Ruskey, Towards a general solution to drawing area-proportional Euler diagrams, in: Euler Diagrams 2004, ENTCS, vol. 134, ENTCS, 2005, pp. 3-18.
26. R. Clark, Fast zone discrimination, in: Proceedings of the VLL 2007 Workshop on Visual Languages and Logic, Citeseer, 2007, pp. 41-54.
27. Collins C., Penn G., Carpendale S. Bubble sets. revealing set relations with isocontours over existing visualizations. IEEE Transactions on Visualization and Computer Graphics 2009, 15(6):1009-1016.
28. Cordasco G., De Chiara R., Fish A. Efficient on-line algorithms for Euler diagram region computation. Computational Geometry 2011, 44(1):52-68.
29. R. DeChiara, U. Erra, V. Scarano, VennFS: a Venn diagram file manager, in: Proceedings of Information Visualisation, IEEE Computer Society, 2003, pp. 120-126.
30. D. Dorling, Cartograms for visualizing human geography, in: Visualization in Geographical Information Systems, Wiley, vol. 85, 1994, p. 102.
31. Eades P. A heuristic for graph drawing. Congressus Numerantium 1984, 42:149-160.
32. Euler L. Lettres à une Princesse d'Allemagne sur divers sujets de physique et de philosophie. Letters 1775, 2:102-108.
33. Farfel M., DiGrande L., Brackbill R., Prann A., Cone J., Samuel R., Friedman D., Walker D., Pezeshki G., Thomas P., Galea Sandro, Williamson D., Frieden T., Thorpe L. An overview of 9/11 experiences and respiratory and mental health conditions among world trade center health registry enrollees. Journal of Urban Health 2008, 85(6):880-909.
34. Fish A. Euler diagram transformations. Electronic Communications of the EASST 2009, 18.
35. A. Fish, J. Flower, Abstractions of Euler diagrams, in: Euler Diagrams 2004, ENTCS, vol. 134, ENTCS, 2005, pp. 77-101.
36. A. Fish, J. Flower, Euler diagram decomposition, in: Diagrams 2008, Springer, 2008.
37. A. Fish, J. Flower, J. Howse, A reading algorithm for constraint diagrams, in: IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand, IEEE, September 2003, pp. 161-168.
38. A. Fish, J. Howse, Computing reading trees for constraint diagrams, in: AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September, Springer-Verlag, 2003, pp. 260-274.
39. Fish A., Khazaei B., Roast C. User-comprehension of Euler diagrams. Journal of Visual Languages and Computing 2011, 22(5):340-354.
40. Flower J., Fish A., Howse J. Euler diagram generation. Journal of Visual Languages and Computing 2008, 19:675-694.
41. J. Flower, J. Howse, Generating Euler diagrams, in: Proceedings of Second International Conference on the Theory and Application of Diagrams, Georgia, USA, Springer, 2002, pp. 61-75.
42. J. Flower, J. Howse, J. Taylor, Nesting in Euler diagrams, in: International Workshop on Graph Transformation and Visual Modeling Techniques, 2002, pp. 99-108.
43. Flower J., Howse J., Taylor J. Nesting in Euler diagrams. syntax, semantics and construction. Software and Systems Modelling 2004, 3:55-67.
44. J. Flower, J. Howse, J. Taylor, S. Kent, A visual framework for modelling with heterogeneous notations, in: Proceedings of Human Centric Computing Languages and Environments, IEEE, 2002, pp. 71-73.
45. J. Flower, J. Masthoff, G. Stapleton, Generating readable proofs: a heuristic approach to theorem proving with spider diagrams, in: Proceedings of Third International Conference on the Theory and Application of Diagrams, LNAI, vol. 2980, Springer, Cambridge, UK, 2004, pp. 166-181.
46. J. Flower, P. Rodgers, P. Mutton, Layout metrics for Euler diagrams, in: Seventh International Conference on Information Visualisation, IEEE Computer Society Press, 2003, pp. 272-280.
47. J. Flower, G. Stapleton, Automated theorem proving with spider diagrams, in: Proceedings of Computing: The Australasian Theory Symposium, ENTCS, vol. 91, Science Direct, Dunedin, New Zealand, January 2004, pp. 116-132.
48. J. Gil, J. Howse, S. Kent, Formalising spider diagrams, in: Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo, IEEE Computer Society Press, September 1999, pp. 130-137.
49. C. Gurr, K. Tourlas, Towards the principled design of software engineering diagrams, in: Proceedings of 22nd International Conference on Software Engineering, ACM Press, 2000, pp. 509-518.
50. H. Hagy, thisisindexed.com. Visited November 2012.
51. Hammer E. Logic and Visual Information 1995, CSLI Publications.
52. Harwood-Nuss A. The Clinical Practice of Emergency Medicine 2001, Lippincott Williams & Wilkins.
53. P. Hayes, T.C. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, D. Bobrovnikoff, Collaborative knowledge capture in ontologies, in: Proceedings of the Third International Conference on Knowledge Capture, K-CAP '05, ACM, New York, NY, USA, 2005, pp. 99-106.
54. J. Howse, F. Molina, J. Taylor, On the completeness and expressiveness of spider diagram systems, in: Proceedings of 1st International Conference on the Theory and Application of Diagrams, Springer, Edinburgh, UK, September 2000, pp. 26-41.
55. J. Howse, F. Molina, J. Taylor, A sound and complete diagrammatic reasoning system, in: Proceedings. ASC 2000: Third IASTED International Conference on Artificial Intelligence and Soft Computing, IASTED/ACTA Press, Banff, 2000, pp. 402-408.
56. J. Howse, F. Molina, J. Taylor, S. Kent, Reasoning with spider diagrams, in: Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo, IEEE Computer Society Press, September, pp. 138-147.
57. Howse J., Molina F., Taylor J., Kent S., Gil J. Spider diagrams. a diagrammatic reasoning system. Journal of Visual Languages and Computing 2001, 12(June (3)):299-324.
58. J. Howse, P. Rodgers, G. Stapleton, Changing Euler diagram properties by edge transformation of Euler dual graphs, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), IEEE, vol. 25, September 2009, pp. 177-184.
59. Howse J., Stapleton G., Taylor J. Spider diagrams. LMS Journal of Computation and Mathematics 2005, 8:145-194.
60. J. Howse, G. Stapleton, K. Taylor, P. Chapman, Visualizing ontologies: a case study, in: Proceedings of the 10th International Conference on the semantic Web-Volume Part I, Springer-Verlag, 2011, pp. 257-272.
61. Hulsen T., De Vlieg J., Alkema W. Biovenn-a web application for the comparison and visualization of biological lists using area-proportional Venn diagrams. BMC Genomics 2008, 9(1):488.
62. Ip E. Visualizing multiple regression. Journal of Statistics Education 2001, 9(1).
63. C. John, A. Fish, J. Howse, J. Taylor, Exploring the notion of clutter in Euler diagrams, in: Fourth International Conference on the Theory and Application of Diagrams, Springer, Stanford, USA, 2006, pp. 267-282.
64. S. Kent, Constraint diagrams: visualizing invariants in object oriented modelling, in: Proceedings of OOPSLA97, ACM Press, October 1997, pp. 327-341.
65. Kestler H., Muller A., Gress T., Buchholz M. Generalized Venn diagrams. a new method for visualizing complex genetic set relations. Bioinformatics 2005, 21(8):1592-1595.
66. Kestler H., Muller A., Kraus J., Buchholz M., Gress T., Liu H., Kane D., Zeeberg B., Weinstein J. Vennmaster. area-proportional Euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics 2008, 9(67).
67. Lemon O., Pratt I. Spatial logic and the complexity of diagrammatic reasoning. Machine Graphics and Vision 1997, 6(1):89-108.
68. E.M. Luks, Hypergraph isomorphism and structural equivalence of boolean functions, in: Proceedings of the 31st Annual ACM Symposium on Theory of Computing, STOC '99, ACM, New York, NY, USA, 1999, pp. 652-658.
69. Micallef L., Dragicevic P., Fekete J.-D. Assessing the effect of visualizations on bayesian reasoning through crowdsourcing. IEEE Transactions on Visualization and Computer Graphics 2012, 18(Dec. (12)):2536-2545.
70. L. Micallef, P. Rodgers, Poster: force-directed layout for Euler diagrams, in: Compendium of IEEE Information Visualization 2009 (InfoVis'09), IEEE Computer Society, vol. 15, IEEE, Atlantic City, New Jersey, USA, October 2009.
71. L. Micallef, P. Rodgers, Poster: drawing area-proportional Venn-3 diagrams using ellipses, in: ACM Student Research Competition and Poster Session, Grace Hopper Celebration of Women in Computing, 2012.
72. Misue K., Eades P., Lai W., Sugiyama K. Layout adjustment and the mental map. Journal of Visual Languages and Computing 1995, 6(June (2)):183-210.
73. P. Mutton, P. Rodgers, J. Flower, Drawing graphs in Euler diagrams, in: Proceedings of Third International Conference on the Theory and Application of Diagrams, LNAI, vol. 2980, Springer, Cambridge, UK, March, pp. 66-81.
74. I. Oliver, J. Howse, G. Stapleton, E. Nuutila, S. Törmä, Visualizing and specifying ontologies using diagrammatic logics, in: Fifth Australasian Ontologies Workshop, CRPIT, vol. 112, 2009, pp. 87-104.
75. OMG. UML 2.0 specification. Available from , 2004. http://www.omg.org.
76. Peirce C. Collected Papers 1933, Harvard University Press, volume 4.
77. Pirooznia M., Nagarajan V., Deng Y., et al. GeneVenn-a web application for comparing gene lists using Venn diagrams. Bioinformation 2007, 1(10):420-422.
78. Riche N., Dwyer T. Untangling Euler diagrams. IEEE Transactions on Visualization and Computer Graphics 2010, 16(6):1090-1099.
79. P. Rodgers, J. Flower, G. Stapleton, Introducing 3D Venn and Euler diagrams, in: P. Chapman, L. Micallef (Eds.), Proceedings of the Third International Workshop on Euler Diagrams 2012, CEUR-WS, vol. 854, CEUR-WS.org, July 2012, pp. 92-106.
80. P. Rodgers, J. Flower, G. Stapleton, J. Howse, Some results for drawing area proportional Venn3 with convex curves, in: Information Visualization, IEEE, 2009, pp. 667-672.
81. P. Rodgers, J. Flower, G. Stapleton, J. Howse, Drawing area-proportional Venn-3 diagrams with convex polygons, in: Diagrams 2010, LNCS (LNAI) 6170, Springer, August 2010, pp. 54-68.
82. P. Rodgers, P. Mutton, J. Flower, Dynamic Euler diagram drawing, in: Visual Languages and Human Centric Computing, Rome, Italy, IEEE Computer Society Press, September 2004, pp. 147-156.
83. P. Rodgers, G. Stapleton, J. Flower, J. Howse, Drawing area-proportional Euler diagrams representing up to three sets, IEEE Transactions on Visualization and Computer Graphics, in press. http://doi.ieeecomputersociety.org/10.1109/TVCG.2013.104.
84. P. Rodgers, G. Stapleton, J. Howse, L. Zhang, Euler graph transformations for Euler diagram layout, in: Christopher Hundhausen, Emmanuel Pietriga, Paloma Diaz, Mary Beth Rosson (Eds.), IEEE Symposium on Visual Languages and Human Centric Computing 2010, IEEE, IEEE, September 2010, pp. 111-118.
85. P. Rodgers, L. Zhang, A. Fish, General Euler diagram generation, in: Fifth International Conference on the Theory and Application of Diagrams, Springer, 2008, pp. 13-27.
86. Rodgers P., Zhang L., Purchase H. Wellformedness properties in Euler diagrams. which should be used?. Transactions on Visualization and Computer Graphics 2012, 18(July (7)):1089-1100.
87. P. Rodgers, L. Zhang, G. Stapleton, A. Fish, Embedding wellformed Euler diagrams, in: 12th International Conference on Information Visualization, IEEE, 2008, pp. 585-593.
88. Rongdeep P., Kalita B. Properties of some Euler graphs constructed from Euler diagram. International Journal of Applied Science and Engineering Research 2012, 1(2):232-237.
89. Handbook of Graph Grammars and Computing by Graph Transformations, Foundations 1997, vol. 1. World Scientific.
90. F. Ruskey, A survey of Venn diagrams, Electronic Journal of Combinatorics, 1997. http://www.combinatorics.org/Surveys/ds5/VennEJC.html.
91. Y. Sato, K. Mineshima, R. Takemura, The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings, in: Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings, vol. 6170, Springer, 2010, p. 6.
92. Shin S.-J. The Logical Status of Diagrams 1994, Cambridge University Press.
93. S.-J. Shin, O. Lemon, Stanford encyclopedia of philosophy: diagrams. , visited September 2013. http://www.plato.stanford.edu/entries/diagrams/.
94. Simonetto P., Auber D., Archambault D. Fully automatic visualisation of overlapping sets. Computer Graphics Forum 2009, 28(3):967-974.
95. Soriano J., Davis K., Coleman B., Visick G., Mannino D., Pride N. The proportional Venn diagram of obstructive lung disease. Chest 2003, 124:474-481.
96. G. Stapleton, Reasoning with Constraint Diagrams. Ph.D. Thesis, University of Brighton, August 2004.
97. G. Stapleton, A survey of reasoning systems based on Euler diagrams, in: Proceedings of Euler Diagrams 2004, Brighton, UK, ENTCS, vol. 134, 2005, pp. 127-151.
98. Stapleton G., Delaney A. Evaluating and generalizing constraint diagrams. Journal of Visual Languages and Computing 2008, 19(4):499-521.
99. G. Stapleton, A. Delaney, P. Rodgers, B. Plimmer, Recognising sketches of Euler diagrams augmented with graphs, in: 2011 International Workshop on Visual Languages and Computing, International Conference on Distributed Multimedia Systems, vol. 17, August 2011, pp. 279-284.
100. G. Stapleton, A. Fish, P. Rodgers, Abstract Euler diagram isomorphism, in: Visual Languages and Computing, Knowledge Systems Institute, 2008.
101. Stapleton G., Flower J., Rodgers P., Howse J. Automatically drawing Euler diagrams with circles. Journal of Visual Languages and Computing 2012, 23(June (3)):163-193.
102. G. Stapleton, J. Howse, P. Chapman, I. Oliver, A. Delaney, What can concept diagrams say? in: Diagrams, 2012, pp. 291-293.
103. Stapleton G., Howse J., Rodgers P. A graph theoretic approach to general Euler diagram drawing. Theoretical Computer Science 2010, 441(1):91-112.
104. G. Stapleton, J. Howse, J. Taylor, A constraint diagram reasoning system, in: Proceedings of International Conference on Visual Languages and Computing, Knowledge Systems Insitute, 2003, pp. 263-270.
105. Stapleton G., Masthoff J., Flower J., Fish A., Southern J. Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning 2007, 39:431-470.
106. G. Stapleton, P. Rodgers, Drawing Euler diagrams with circles and ellipses, in: VL/HCC, 2011, pp. 209-212.
107. Stapleton G., Rodgers P., Howse J. A general method for drawing area-proportional Euler diagrams. Journal of Visual Languages and Computing 2011, 22(December (6)):426-442.
108. 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.
109. G. Stapleton, P. Rodgers, J. Howse, L. Zhang, Inductively generating Euler diagrams, IEEE Transactions on Visualization and Computer Graphics, in press. http://dx.doi.org/10.1109/TVCG.2010.28.
110. Stapleton G., Thompson S., Howse J., Taylor J. The expressiveness of spider diagrams. Journal of Logic and Computation 2004, 14(December (6)):857-880.
111. Stapleton G., Zhang L., Howse J., Rodgers P. Drawing Euler diagrams with circles. the theory of piercings. IEEE Transactions on Visualization and Computer Graphics 2011, 17(7):1020-1032.
112. J. Swinton, Venn diagrams with the vennerable package. 2007. Available from http://sourceforge.net/projects/vennerable/files/R%20Source%20package/1.1.1.1/.
113. Swoboda N. Implementing Euler/Venn reasoning systems. Diagrammatic Representation and Reasoning 2001, 371-386. Springer-Verlag. M. Anderson, B. Meyer, P. Olivier (Eds.).
114. N. Swoboda, G. Allwein, Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of interference, in: Proceedings of GT-VMT, ENTCS, Elsevier Science, 2002.
115. N. Swoboda, G. Allwein, Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL, in: Proceedings of Euler Diagrams 2004, Volume 134 ofENTCS, Elsevier Science, 2005.
116. Treisman A., Souther J. Search asymmetry. a diagnostic for preattentive processing of separable features. Journal of Experimental Psychology. General 1985, 114(3):285.
117. Venn J. On the diagrammatic and mechanical representation of propositions and reasonings. Philosophical Magazine 1880.
118. A. Verroust, M.-L. Viaud, Ensuring the drawability of Euler diagrams for up to eight sets, in: Proceedings of Third International Conference on the Theory and Application of Diagrams, LNAI, vol. 2980, Springer, Cambridge, UK, 2004, pp. 128-141.
119. Vestbo J. Copd, diagrams and traditions. time to move on?. Thorax 2008, 63(9):755-756.
120. M. Wang, B. Plimmer, P. Schmieder, G. Stapleton, P. Rodgers, A. Delaney, SketchSet: creating Euler diagrams using pen or mouse, in: 2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011), IEEE, September 2011, pp. 75-82.
121. M. Wang, B. Plimmer, P. Schmieder, G. Stapleton, P. Rodgers, A. Delaney, Sketchset: creating Euler diagrams using pen or mouse, in: IEEE Symposium on Visual Languages and Computing, IEEE, 2011, pp. 75-82.
122. M.R.N. Weston, Symmetries of Venn Diagrams on the Sphere. Ph.D. Thesis, University of Victoria, 2009.
123. Wikipedia. Euler diagram of quadrilateral types, November 2012. http://en.wikipedia.org/wiki/File:Euler_diagram_of_quadrilateral_types.svg.
124. Wikipedia. Supernational bodies, November 2012. http://en.wikipedia.org/wiki/Template:Supranational_European_Bodies.
125. Wilkinson L. Exact and approximate area-proportional circular Venn and Euler diagrams. IEEE Transactions on Visualization and Computer Graphics 2012, 18(2):321-331.
126. Zeeberg B.R., Feng W., Wang G., Wang M.D., Fojo A.T., Sunshine M., Narasimhan S., Kane D.W., Reinhold W.C., Lababidi S., et al. Gominer. a resource for biological interpretation of genomic and proteomic data. Genome Biology 2003, 4(4):R28.