School of Computing

Drawing Euler diagrams with circles and ellipses

Gem Stapleton and Peter Rodgers

In 2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011), volume 27, pages 182-196. IEEE, September 2011.

Abstract

The use of Euler diagrams as a basis for visual languages is commonplace and they are often used for visualizing information. The ability to automatically draw these diagrams is, therefore, likely to be of widespread practical use. The Euler diagram drawing problem is recognized as challenging, but the potential pay-off from the derivation of a comprehensive solution, that produces usable and effective diagrams, is significant. Previous research on automated Euler diagram drawing has used various different approaches, each of which had their own problems, including: (a) failure to draw a diagram in all cases, (b) poor diagram layout, and (c) inability to ensure that certain wellformedness properties of the drawn diagrams hold. In this paper, we present a novel approach to Euler diagram drawing that draws diagrams with circles, ellipses and curves in general. This new approach will draw a diagram in all cases, avoiding bad layout where possible (by the use of �nice� geometric shapes) and can enforce wellformedness properties as chosen by the user.

Download publication 1038 kbytes (PDF)

Bibtex Record

@inproceedings{3166,
author = {Gem Stapleton and Peter Rodgers},
title = {Drawing {E}uler Diagrams with Circles and Ellipses},
month = {September},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3166},
    publication_type = {inproceedings},
    submission_id = {15450_1316688576},
    ISBN = {978-1-4577-1244-9},
    volume = {27},
    publisher = {IEEE},
    refereed = {yes},
    booktitle = {2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011)},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014