Embedding wellformed Euler diagrams

Proceedings of the International Conference on Information Visualisation

Volumn , Issue , 2008, Pages 585-593

  Rodgers, Peter ^a   Zhang, Leishi ^a   Stapleton, Gem ^b   Fish, Andrew ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Euler diagrams; Graph drawing; Information visualization; Venn diagrams

Indexed keywords

INFORMATION ANALYSIS; VISUALIZATION;

EULER DIAGRAMS; GRAPH DRAWING; INFORMATION VISUALIZATION; VENN DIAGRAMS;

GRAPH THEORY;

EID: 51749088769     PISSN: 10939547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IV.2008.57     Document Type: Conference Paper

References (18)

1. S. Chow and F. Ruskey. Drawing area-proportional Venn and Euler diagrams. In Proc. of Graph Drawing 2003. LNCS 2912, pages 466-477. Springer-Verlag, September 2003.
2. R. DeChiara, U. Erra, and V. Scarano. VennFS: A Venn diagram file manager. In Proc. IV03, pages 120-126. IEEE Computer Society, 2003.
3. A. Fish, J. Flower, and J. Howse. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing, 16:541-573, 2005.
4. J. Flower and J. Howse. Generating Euler Diagrams, Proc. Diagrams 2002, LNAI 2317, Springer Verlag, 61-75. 2002.
5. J. Flower, J. Howse, and J Taylor. Nesting in Euler diagrams: syntax, semantics and construction, Journal of Software and Systems Modeling, pp 55-67, 2003.
6. J. Flower, P. Rodgers and P. Mutton. Layout Metrics for Euler Diagrams. Proc. IEEE Information Visualization (IV03). pp. 272-280. 2003.
7. P. Hayes, T. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, and D. Bobrovnikoff. Collaborative knowledge capture in ontologies. In Proc. of 3rd International Conference on Knowledge Capture, pp. 99-106, 2005.
8. J. Howse, G. Stapleton, and J. Taylor. Spider diagrams. LMS J. Computation and Mathematics, 8:145-194, 2005.
9. J. Howse and S. Schuman. Precise visual modelling. Journal of Software and Systems Modeling, 4:310-325, 2005.
10. H. A. Kestler, A. Müller, T.M. Gress and M. Buchholz. Generalized Venn diagrams: a new method of visualizing complex genetic set relations. Bioinformatics 21(8) 2005
11. S.-K. Kim and D. Carrington. Visualization of formal specifications.
12. F. Ruskey. A Survey of Venn Diagrams. The Electronic Journal of Combinatorics. March 2001.
13. H. Sawamura and K. Kiyozuka. JVenn: A visual reasoning system with diagrams and sentences. In Proc. Diagrams 2000, LNAI 1889. pages 271-285. Springer-Verlag, 2000.
14. S.-J. Shin. The Logical Status of Diagrams. CUP, 1994.
15. G. Stapleton, J. Howse, and J. Taylor. A decidable constraint diagram reasoning system. Journal of Logic and Computation, 15(6):975-1008, December 2005.
16. N. Swoboda and G. Allwein. Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. Proc. Euler Diagrams 2004. ENTCS 134. Elsevier Science, 2005.
17. Tavel, P. Modeling and Simulation Design. AK Peters Ltd. 2007
18. A. Verroust and M.-L. Viaud. Ensuring the drawability of Euler diagrams for up to eight sets. Proc. Diagrams 2004, Cambridge, UK. LNAI 2980, pp. 128-141. Springer, 2004.