School of Computing

Abstract Euler Diagram Isomorphism

G. Stapleton, A. Fish, and P.Rodgers

In 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pages 182-196. Knowledge Systems Institute, September 2008.

Abstract

Euler diagrams are widely used for information visualization and form the basis of a variety of formal languages that are used to express constraints in computing. Tools to automatically generate and layout these diagrams from an abstract description have to overcome the fact that this problem is computationally difficult. We develop a theory of isomorphism of diagram descriptions and identify invariants of these descriptions under isomorphism. We can apply this theory to improve the efficiency of the generation of all abstract descriptions (up to isomorphism). We can also consider the production and use of libraries of diagrams with nice visual properties: by providing a normal form for the abstract descriptions we can improve efficiency of searches for isomorphic diagrams within such libraries and, moreover, utilize invariants for further efficiency savings. We produce an implementation of the theory and give an indication of the efficiency improvements.

Download publication 250 kbytes (PDF)

Bibtex Record

@inproceedings{2822,
author = {G. Stapleton and A. Fish and P.Rodgers},
title = {{Abstract Euler Diagram Isomorphism}},
month = {September},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2822},
    publication_type = {inproceedings},
    submission_id = {7316_1223470232},
    ISBN = {1-891706-23-3},
    booktitle = {14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing},
    publisher = {Knowledge Systems Institute},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014