User-comprehension of Euler diagrams

Journal of Visual Languages and Computing

Volumn 22, Issue 5, 2011, Pages 340-354

  Fish, Andrew ^a   Khazaei, Babak ^b   Roast, Chris ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b SHEFFIELD HALLAM UNIVERSITY   (United Kingdom)

Author keywords

Comprehension of diagrams; Empirical study; Usability of diagrams and mathematical notation; Wellformed and non wellformed Euler diagrams

Indexed keywords

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

References (54)

1. D. Barker-Plummer, R. Cox, R. Dale, J. Etchemendy, An empirical study of errors in translating natural language into logic, in: Proceedings of the 30th Annual Cognitive Science Society Conference, Lawrence Erlbaum Associates, 23-26 July, Washington D.C., USA, (2008) 505-510.
2. F. Benoy, P. Rodgers, Evaluating the comprehension of Euler diagrams, in: 11th International Conference Information Visualization (IV '07) (2007) 771-780.
3. A. Blackwell, Inferential and expressive capacities of graphical representations: survey and some generalizations. Diagrammatic representation and inference, in: Third International Conference, Diagrams 2004, Cambridge, UK, Proceedings March 22-24, (2004) 18-21.
4. A.F. Blackwell, First steps in programming: a rationale for attention investment models, in: Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments, (2002) 2-10.
5. P. Bottoni, A.Fish, Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information, in: Proceedings of the Sixth International Conference on the Theory and Application of Diagrams, Portland, USA, LNAI 6170, (2010) 39-53.
6. D. Calvillo, K. DeLeeuw, R. Revlin, Deduction with Euler circles: diagrams that hurt, in: Proceedings of the Fifth International conference on Diagrams 2006, Lecture Notes in Artificial Intelligence 4045, Springer, (2008) 199-203.
7. S. Chow, F. Ruskey, Drawing area-proportional Venn and Euler diagrams, in: Proceedings of the Graph Drawing 2003, Perugia, Italy. Volume 2912 of LNCS, Springer-Verlag, (2003) 466-477.
8. S.C. Chow, Generating and drawing area-proportional Euler and Venn diagrams. Ph.D. Thesis, University of Victoria 2007.
9. G. Cordasco, R. De Chiara, A. Fish, Interactive visual classification with Euler diagrams, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC 2009, IEEE Press, 2009 185-192.
10. Cordasco G., De Chiara R., Fish A. Efficient on-line algorithms for Euler diagram region computation. Computational Geometry: Theory and Applications 2011, 44:52-68.
11. Dau F., Fish A. Conceptual Spider diagrams. Conceptual Structures: Knowledge Visualization and Reasoning 2008, 104-118.
12. R. De Chiara, U. Erra, V. Scarano VennFS: a Venn diagram file manager, in: Proceedings of the Information Visualisation, IEEE Computer Society, 2003 120-126.
13. R. De Chiara, A. Fish, EulerView: a non-hierarchical visualization component, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2007, IEEE, 2007 145-152.
14. R. De Chiara, A. Fish, EulerView: article organisation within the ACM classification, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2008, IEEE Press, 2008 93-100.
15. R. De Chiara, A. Fish, S. Ruocco, Eulr: a novel resource tagging facility integrated with Flickr, in: Proceedings of the AVI 2008 Advanced Visual Interfaces Conference, ACM Press. (2008)326-330.
16. De Chiara R., Hammar M., Scarano V. A system for virtual directories using Euler diagrams. Electronic Notes in Theoretical Computer Science 2005, 134:33-53.
17. Egenhofer M.J., Clementini E., Di Felice P. Topological relations between regions with holes. International Journal of Geographical Information Systems 1994, 8(2):129-142.
18. L. Euler, Lettres a une princesse d'allemagne. sur divers sujets de physique et de philosophie, 1761. letters no. vol. 2 102-108.
19. Fish A., Flower J. Abstractions of Euler diagrams. Electronic Notes in Theoretical Computer Science 2005, 134:77-101.
20. Fish A., Flower J., Howse J. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing 2005, 16(6):541-573.
21. A. Fish, C. John, J. Taylor, A normal form for Euler diagrams with shading, In: Proceedings of the Fifth International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, Springer, (2008) 206-221.
22. A. Fish, B. Khazaei, C. Roast, Exploring human factors in formal diagram usage, in: Proceedings of the Engineering Interactive Systems conference 2007, LNCS 4940. (2008) 432-448.
23. A. Fish, G. Stapleton, Formal issues in languages based on closed curves, in: Proceedings of the Distributed Multimedia Systems, International Workshop on Visual Languages and Computings, Knowledge Systems Institute. (2006) 161-167.
24. Flower J., Fish A., Howse J. Euler diagram generation. Journal of Visual Languages and Computing 2008, 19(6):675-694.
25. J. Flower, J. Howse, Generating Euler diagrams, in: Proceedings of the Diagrams 2002, Callaway Gardens Georgia, USA. (2002), Springer-Verlag 61-75.
26. T. Green, A. Blackwell, Design for usability using cognitive dimensions. Tutorial session at British Computer Society conference on Human-Computer Interaction HCI'98.
27. Gurr C.A. Effective diagrammatic communication: syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computing 1999, 10(4):317-342.
28. Hammer E., Danner N. Towards a model theory of diagrams. Journal of Philosophical Logic 1996, 25(5):463-482.
29. Hammer E., Shin S.J. Euler's visual logic. History and Philosophy of Logic 1998, 19(1):1-29.
30. Harel D. On visual formalisms. Communications of the ACM 1988, 31(5):514-530.
31. 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. (2005) 99-106.
32. Howse J., Molina F., Taylor J., Kent S., Gil J.Y. Spider diagrams: a diagrammatic reasoning system. Journal of Visual Languages and Computing 2001, 12(3):299-324.
33. J. Howse, F. Molina, J.Taylor, S.J. Shin, Type-syntax and token-syntax in diagrammatic systems, in: Proceedings of the International Conference on Formal Ontology in Information Systems-Volume 2001. (2001) 174-185.
34. Howse J., Schuman S. Precise visual modeling: a case-study. Software and Systems Modeling 2005, 4(3):310-325.
35. Howse J., Stapleton G., Taylor J. Spider diagrams. LMS Journal of Computation and Mathematics 2005, 8:145-194.
36. C. John, A. Fish, J. Howse, J. Taylor, Exploring the notion of clutter in Euler diagrams, in: Proceedings of the Fourth International conference on the Theory and Application of Diagrams, Stanford, Lecture Notes in Artificial Intelligence 4045, Springer. (2006), pp. 267-282.
37. Kent, S., Constraint diagrams: visualizing invariants in object-oriented models, in: Proceedings of the 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. (1997) 327-341.
38. Kestler H.A., Muller A., Gress T.M., Buchholz M. Generalized Venn diagrams: a new method of visualizing complex genetic set relations. Bioinformatics 2005, 21(8):1592-1595.
39. Khazaei B., Roast C. The influence of formal representation on solution specification. Requirements Engineering 2003, 8(1):69-77.
40. L. Langer, E. Frøkjær, Improving web search transparency by using a Venn diagram interface, in: Proceedings of the Fifth Nordic Conference on Human-Computer Interaction: Building Bridges. (2008) 249-256.
41. K. Mineshima, M. Okada, Y. Sato, R. Takemura, Diagrammatic reasoning system with Euler circles: theory and experiment design, in Proceedings of the Fifth International Conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, Springer. (2008) 199-203.
42. P. Rodgers, L. Zhang, A. Fish, General Euler diagram generation, in: Proceedings of the Fifth International Conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, Springer. (2008) 13-27.
43. F. Ruskey, M. Weston, A survey of Venn diagrams. Electronic Journal of Combinatorics, Dynamic Survey. 2005. Available at: http://www.combinatorics.org/Surveys/ds5/VennEJC.html.
44. A. Shimojima, Y. Katagiri, An eye-tracking study of exploitations of spatial constraints in diagrammatic reasoning, in: Proceedings of the Fifth International Conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, Springer. (2008) 74-88.
45. Shin S.J. The Logical Status of Diagrams 1994, CUP, Cambridge.
46. Shin S.J. Situation-theoretic account of valid reasoning with Venn diagrams. Logical Reasoning with Diagrams 1996, 81-108.
47. Sowa J. Relating diagrams to logic. Conceptual Graphs for Knowledge Representation 1993, 1-35.
48. Sowa J. Conceptual Structures: Conceptual Structures: Information Processing in Mind and Machine 1984, Addison-Wesley.
49. Stapleton G., Masthoff J., Flower J., Fish A., Southern J. Automated theorem proving in Euler diagram systems. Journal of Automated Reasoning 2007, 39(4):431-470.
50. Swoboda N., Allwein G. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Software and Systems Modeling 2004, 3(2):136-149.
51. Swoboda N., Allwein G. Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. Electronic Notes in Theoretical Computer Science 2005, 134:153-187.
52. Venn J. On the diagrammatic and mechanical representation of propositions and reasonings. Philosophical Magazine Series 5 1980, 10(59):1-18.
53. A. Verroust, M.L. Viaud, Ensuring the drawability of extended Euler diagrams for up to eight sets, in: Proceedings of the Third International Conference on the Theory and Application of Diagrams, LNAI 2980, Springer, (2004) 128-141.
54. D. Winterstein, A. Bundy, C. Gurr, M. Jamnik, Using animation in diagrammatic theorem proving, in: Proceedings of Second International Conference on Diagrammatic Representation and Inference, in: LNCS, vol. 3097, Springer. (2002) 46-60.