Flower, Jean, Fish, Andrew and Howse, John (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926XFull text not available from this repository.
Euler diagrams form the basis of many diagrammatic notations used to represent set theoretic relationships in a wide range of contexts including: file system information, statistical data representation, object-oriented modeling, logical specification and reasoning systems, and database search queries. An abstract Euler diagram is a formal abstract description of the information that is to be displayed as a concrete (or drawn) Euler diagram. If the abstract diagram can be visualized, whilst satisfying certain desirable visual properties (called well-formedness conditions), then we say the diagram is drawable. We solve the drawability problem for a given set of well-formedness conditions, identifying the properties which classify a diagram as drawable or undrawable. Furthermore, we present a high level algorithm which enables the generation of a concrete diagram from an abstract diagram, whenever it is drawable.
|Item Type:||Journal article|
|Uncontrolled Keywords:||Euler diagrams; Automatic generation; Drawability; Logic visualization; Data representation|
|Subjects:||G000 Computing and Mathematical Sciences > G100 Mathematics|
|DOI (a stable link to the resource):||10.1016/j.jvlc.2008.01.004|
|Faculties:||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling|
|Date Deposited:||09 Feb 2012 12:31|
|Last Modified:||14 Apr 2015 13:16|
Actions (login required)
Downloads per month over past year