© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Drawing Euler Diagrams with Circles: The Theory of Piercings
Gem Stapleton, Leishi Zhang, John Howse, and Peter Rodgers
IEEE Transactions on Visualization and Computer Graphics, 17(7):182-196, July 2011 [doi].Abstract
Euler diagrams are effective tools for visualizing set intersections. They have a large number of application areas ranging from statistical data analysis to software engineering. However, the automated generation of Euler diagrams has never been easy: given an abstract description of a required Euler diagram, it is computationally expensive to generate the diagram. Moreover, the generated diagrams represent sets by polygons, sometimes with quite irregular shapes which make the diagrams less comprehensible. In this paper we address these two issues by developing the theory of piercings, where we define single piercing curves and double piercing curves. We prove that if a diagram can be built inductively by successively adding piercing curves under certain constraints then it can be drawn with circles, which are more aesthetically pleasing than arbitrary polygons. The theory of piercings is developed at the abstract level. In addition, we present a Java implementation that, given an inductively pierced abstract description, generates an Euler diagram consisting only of circles within polynomial time.
Download publication 1088 kbytes (PDF)Bibtex Record
@article{2982,
author = {Gem Stapleton and Leishi Zhang and John Howse and Peter Rodgers},
title = {{Drawing Euler Diagrams with Circles: The Theory of Piercings}},
month = {July},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1109/TVCG.2010.119},
url = {http://www.cs.kent.ac.uk/pubs/2011/2982},
publication_type = {article},
submission_id = {8018_1266937969},
journal = {IEEE Transactions on Visualization and Computer Graphics},
publisher = {IEEE},
number = {7},
volume = {17},
}