Abstract
Euler Diagrams are a well-known visualisation of set-based relationships, used in many application areas and at the basis of more complex notations. We propose a static code for concrete Euler Diagrams, which enables efficient storage (vs. storage of concrete diagrams), and transformations preserving concrete-level structure, hence the viewer’s mental map. We provide the theoretical underpinnings of the encoding, examples and deductions, and an indication of their utility. For use in an interactive setting, we provide algorithms to update the code upon curve addition and removal. Independently, we show that the code identifies minimal regions, enabling the computation of the abstract zone set.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cao, T., Mamakani, K., Ruskey, F.: Symmetric Monotone Venn Diagrams with Seven Curves. In: Boldi, P. (ed.) FUN 2010. LNCS, vol. 6099, pp. 331–342. Springer, Heidelberg (2010)
Chow, S.C.: Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis, University of Victoria (2007)
Cordasco, G., De Chiara, R., Fish, A.: Interactive visual classification with Euler diagrams. In: Proc. VL/HCC 2009, pp. 185–192. IEEE (2009)
Cordasco, G., De Chiara, R., Fish, A.: Fast region computations for reducible Euler diagrams. Computation Geometry: Theory and Applications 44, 52–68 (2011)
Dau, F., Fish, A.: Conceptual Spider Diagrams. In: Eklund, P., Haemmerlé, O. (eds.) ICCS 2008. LNCS (LNAI), vol. 5113, pp. 104–118. Springer, Heidelberg (2008)
Eades, P., Lai, W., Misue, K., Sugiyama, K.: Layout adjustment and the mental map. JVLC 6, 183–210 (1995)
Fish, A.: Euler diagram transformations. ECEASST 18, 1–17 (2009)
Fish, A., Flower, J.: Abstractions of Euler diagrams. In: Proc. Euler 2004. ENTCS, vol. 134, pp. 77–101 (2005)
Fish, A., Flower, J.: Euler Diagram Decomposition. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 28–44. Springer, Heidelberg (2008)
Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. JVLC 16, 541–573 (2005)
Flower, J., Fish, A., Howse, J.: Euler diagram generation. JVLC (2008)
Flower, J., Howse, J., Taylor, J.: Nesting in Euler diagrams: syntax, semantics and construction. Software and Systems Modelling 3, 55–67 (2004)
Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics 8, 145–194 (2005)
Kauffman, L.: Knots and Physics. World Scientific (1991)
Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proc. OOPSLA 1997, pp. 327–341. ACM Press (October 1997)
Kestler, H.A., Müller, A., Kraus, J.M., Buchholz, M., Gress, T.M., Liu, H., Kane, D.W., Zeeberg, B.R., Weinstein, J.: Vennmaster: Area-proportional Euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics 9, 67 (2008)
Riche, N.H., Dwyer, T.: Untangling Euler diagrams. IEEE VCG 16(6), 1090–1099 (2010)
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)
Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning (2007)
Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. SoSyM 3(2), 136–149 (2004)
Thièvre, J., Viaud, M., Verroust-Blondet, A.: Using Euler diagrams in traditional library environments. In: Proc. Euler 2004. ENTCS, vol. 134, pp. 189–202. ENTCS (2005)
Weiler, K.: Polygon comparison using a graph representation. Computer Graphics (SIGGRAPH 1980 Proceedings) 14(3), 10–18 (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bottoni, P., Costagliola, G., Fish, A. (2012). Euler Diagram Encodings. In: Cox, P., Plimmer, B., Rodgers, P. (eds) Diagrammatic Representation and Inference. Diagrams 2012. Lecture Notes in Computer Science(), vol 7352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31223-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-31223-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31222-9
Online ISBN: 978-3-642-31223-6
eBook Packages: Computer ScienceComputer Science (R0)