Properties of Euler diagrams

Electronic Communications of the EASST

Volumn 7, Issue , 2007, Pages

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

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Information visualization; Software specification; Venn diagrams

Indexed keywords

EID: 84893977986     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.7.92.87     Document Type: Conference Paper

References (34)

1. J. Barwise, E. Hammer. Diagrams and the Concept of Logical System. In Allwein and Barwise (eds.). Oxford University Press, 1996
2. D. Blackett. Elementary Topology. Academic Press, 1983
3. B. Bultena, F. Ruskey. Venn Diagrams with Few Vertices. Electronic Journal of Combinatorics 5:1-21, 1998
4. L. Choudhury, M. K. Chakraborty. On Extending Venn Diagrams by Augmenting Names of Individuals. Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Springer, pages 142-146, March 2004
5. J. Carroll, F. Ruskey, M. Weston. Which n-Venn Diagrams can be Drawn with kgons. Proceedings of Euler Diagrams 2005, 2005
6. S. Chow. Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis, University of Victoria, 2007
7. R. Clark. Failure Mode Modular De-Composition Using Spider Diagrams. Proceedings of Euler Diagrams 2004 Elsevier, ENTCS vol. 134, pages 19-31, 2005
8. S. Chow, F. Ruskey. Drawing Area-Proportional Venn and Euler Diagrams. Proceedings of Graph Drawing 2003, Perugia, Italy, Springer, 466-477, September 2003
9. S. Chow, P. Rodgers. Constructing Area-Proportional Venn and Euler Diagrams with Three Circles. Proceedings of Euler Diagrams 2005, 2005
10. S. Chow, F. Ruskey. Towards a General Solution to Drawing Area-Proportional Euler Diagrams. Proceedings of Euler Diagrams, Elsevier, ENTCS vol 134, pages 3-18, 2005
11. H. Dunn-Davies, R. Cunningham. Propostional Statecharts for Agent Interaction Protocols. Proceedings of Euler Diagrams 2004, Brighton, UK Elsevier, ENTCS vol 134, pages 55-75, 2005
12. R. DeChiara, U. Erra, V. Scarano. A System for Virtual Directories Using Euler Diagrams. Proceedings of Information Visualisation, IEEE Computer Society, pages 120-126, 2003
13. A. Delaney, G. Stapleton. On the Descriptional Complexity of a Diagrammatic Notation. Accepted for Visual Languages and Computing, Knowledge Systems Institute, 2007
14. J. Flower, J. Howse. Generating Euler Diagrams. Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Springer, pages 61-75, April 2002
15. J. Flower, J. Howse, J. Taylor. Nesting in Euler diagrams: syntax, semantics and construction. Software and Systems Modelling 3:55-67, March 2004
16. A. Fish, G. Stapleton. Formal Issues in Languages Based on Closed Curves. Proceedings of Distributed Multimedia Systems, InternationalWorkshop on Visual Languages and Computings, Knowledge Systems Institute, pages 161-167, 2006
17. E. Hammer. Logic and Visual Information. CSLI Publications, 1995
18. P. Hayes, T. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, D. Bobrovnikoff. Collaborative Knowledge Capture in Ontologies. Proceedings of the 3rd International Conference on Knowledge Capture, pp. 99-106, 2005
19. J. Howse, S. Schuman. Precise Visual Modelling. Journal of Software and Systems Modeling 4:310-325, 2005
20. J. Howse, G. Stapleton, J. Taylor. Spider Diagrams. LMS Journal of Computation and Mathematics 8:145-194, 2005
21. C. John. Projected Contours in Euler Diagrams. Euler Diagrams 2004 Elsevier, ENTCS vol 134, pages 103-126, 2005
22. S.-K. Kim, D. Carrington. Visualization of Formal Specifications. 6th Asia Pacific Software Engineering Conference, IEEE Computer Society Press, pages 102-109, 1999
23. S. Kent. Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling. Proceedings of OOPSLA97, pages 327-341, October 1997
24. H. Kestler, A. Muller, T. Gress, M. Buchholz. Generalized Venn Diagrams: A New Method for Visualizing Complex Genetic Set Relations. Journal of Bioinformatics 21(8):1592-1595, 2005
25. J. Lovdahl. Towards a Visual Editing Environment for the Languages of the Semantic Web. PhD thesis, Linkoping University, 2002
26. O. Lemon, I. Pratt. Spatial Logic and the Complexity of Diagrammatic Reasoning. Machine GRAPHICS and VISION 6(1):89-108, 1997
27. N. Swoboda, G. Allwein. Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Journal on Software and System Modeling 3(2):136-149, 2004
28. N. Swoboda, G. Allwein. Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Proceedings of Euler Diagrams 2004 Elsevier, ENTCS vol 134, 2005
29. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994
30. H. Sawamura, K. Kiyozuka. JVenn: A Visual Reasoning System with Diagrams and Sentences. Proceedings of 1st International Conference on the Theory and Application of Diagrams Springer, pages 271-285, 2000
31. G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern. Automated Theorem Proving in Euler Diagrams Systems. Journal of Automated Reasoning, June 2007
32. J. Thiévre, M. Viaud, A. Verroust-Blondet. Using Euler Diagrams in Traditional Library Environments. Euler Diagrams 2004 Elsevier, ENTCS vol 134, pages 189-202, 2005
33. J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings, Phil.Mag, 1880
34. A. Verroust, M.-L. Viaud. Ensuring the Drawability of Euler Diagrams for up to Eight Sets. Proceedings of 3rd International Conference on the Theory and Application of Diagrams Springer, pages 128-141, 2004