Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic, Language and Information Année : 2015

Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications

Résumé

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 PSPACE and we provide two syntactic fragments such that the corresponding restricted satisfiability problem is already NP-hard. We describe (1) an improved local search based approach, (2) a method inspired from the gradient method and a hybrid method mixing both (1) and (2). 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 (RCC-8), radius constraints and disjunctions. Euler diagrams are described as set of circles.
Fichier principal
Vignette du fichier
JOLLI_EVD_drawing_interactive_euler_diagrams_from_region_connection_calculus_specifications.pdf (901.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02534063 , version 1 (06-04-2020)

Identifiants

  • HAL Id : hal-02534063 , version 1

Citer

François Schwarzentruber. Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. Journal of Logic, Language and Information, 2015. ⟨hal-02534063⟩
24 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More