Yuri Sato Zohreh Shams (editors) SetVR 2018 International Workshop on Set Visualization and Reasoning 2018 Edinburgh, UK, June 18, 2018 Proceedings Preface SetVR 2018 (International Workshop on Set Visualization and Reasoning 2018) is the 6th meeting, with the first one held in 2004, previously called the Euler Dia- grams Workshop. It aimed to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 ran as part of Diagrams 2018 conference, which was held in Edinburgh UK from June 18th to 22nd in 2018, and occupied the first day (June 18th) during this period. SetVR 2018 covered all aspects of set visualization and reasoning, especially in research areas such as information visualization (diagram/graph drawing and layout; data visualization; ontology visualization; human-computer interaction), diagrammatic logic (formalization; inference system, expressiveness; decidabil- ity; computational complexity; automated reasoning; history of notation), cogni- tive science (efficacy evaluation; cognitive process; cognitive model; educational outcome) and application of diagrams (visual modeling; real world reasoning; ontology engineering; data exploration). SetVR 2018 solicited long and short papers, of which we accepted three long papers and four short papers. Every submission was reviewed by three members of the Program Committee. We were also happy to have Professor Peter C-H. Cheng (University of Sussex) who gave an invited talk titled “Sets For Foundational Representations? A Design Case Study With Probability And Distributions”. We would like to thank the paper authors for their contributions and the pro- gram committee members for their reviewing service. We also appreciate Mateja Jamnik and Gem Stapleton for their indispensable advice and the organizers of Diagrams 2018 conference. This workshop was partially funded by a Lever- hulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams. June 2018 Yuri Sato Zohreh Shams Organizers Yuri Sato (University of Brighton) Zohreh Shams (University of Cambridge) Program Committee Bilal Alsallakh (Bosch Research and Technology Center) Jim Burton (University of Brighton) Peter Chapman (Edinburgh Napier University) Renata De Freitas (Universidade Federal Fluminense) Mateja Jamnik (University of Cambridge) Sven Linker (University of Liverpool) Luana Micallef (Helsinki Institute for Information Technology) Peter Rodgers (University of Kent) Gem Stapleton (University of Brighton) Additional Reviewers Amirouche Moktefi (Tallinn University of Technology) Table of Contents Preface Invited Talk Sets For Foundational Representations? A Design Case Study With Probability And Distributions Peter C-H. Cheng pp. 1–11 Research Papers Picturing Problems: Solving Logic Puzzles Diagrammatically John Howse, Gem Stapleton, Jim Burton, Andrew Blake pp. 12–27 Creative Insights: Dual Cognitive Processes in Perspicuous Diagrams Sandra Visokolskis, Gonzalo Carrión pp. 28–43 Visual reasoning in the Marlo diagram Marcos Bautista López Aznar pp. 44–59 An Ontology Diagram for Coordination of the Hylomorphically Treated Entities Algirdas Budrevicius pp. 60–67 Visualization of Set Inclusion with Gloves Toshio Suzuki pp. 68–75 Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool Martin Gogolla, Khanh-Hoang Doan pp. 76–83 A Case Study in Fitting Area-Proportional Euler Diagrams with Ellipses using eulerr Johan Larsson, Peter Gustafsson pp. 84–91