Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications

Journal of Logic, Language and Information 24 (4):375-408 (2015)
  Copy   BIBTEX

Abstract

This paper describes methods for generating interactive Euler diagrams. User interaction is needed to improve the aesthetic quality of the drawing without writing tedious formal specifications. More precisely, the user can modify the diagram’s layout on the fly by mouse control. We prove that the satisfiability problem is in \ and we provide two syntactic fragments such that the corresponding restricted satisfiability problem is already \-hard. We describe an improved local search based approach, a method inspired from the gradient method and a hybrid method mixing both and. A software tool was implemented and its implementation is described. We also experimentally compare the different methods. We first see that the improved local search and the hybrid method outperforms the local search from the literature and the gradient method for generating a diagram. Concerning interaction, the local search approach is not suitable but hybrid method and gradient method give both good results in terms of quality of drawings and stability. Specifications are written using region connection calculus ), radius constraints and disjunctions. Euler diagrams are described as set of circles.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Visualizations of the square of opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.
Drawing graphs in Euler diagrams.Paul Mutton, Peter Rodgers & Jean Flower - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 66--81.
Diagrams in Geometry.Isabel Palomino Luengo - 1995 - Dissertation, Indiana University
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.

Analytics

Added to PP
2015-10-07

Downloads
15 (#805,409)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?