Fish, Andrew and Flower, Jean (2008) Euler diagram decomposition In: Proceedings of the 5th International Conference on the Theory and Application of Diagrams, Herrsching, Germany, 19-21 September, 2008.Full text not available from this repository.
Euler diagrams are a common visual representation of set-theoretic statements, and they have been used for visualising the results of database search queries or as the basis of diagrammatic logical constraint languages for use in software specification. Such applications rely upon the ability to automatically generate diagrams from an abstract description. However, this problem is difficult and is known to be NP-complete under certain wellformedness conditions. Therefore methods to identify when and how one can decompose abstract Euler diagrams into simpler components provide a vital step in improving the efficiency of tools which implement a generation process. One such decomposition, called diagram nesting, has previously been identified and exploited. In this paper, we make substantial progress, defining the notion of a disconnecting contour and identifying the conditions on an abstract Euler diagram that allow us to identify disconnecting contours. If a diagram has a disconnecting contour, we can draw it more easily, by combining the results of drawing smaller diagrams. The drawing problem is just one context which benefits from such diagram decomposition - we can also use the disconnecting contour to provide a more natural semantic interpretation of the Euler diagram.
|Item Type:||Contribution to conference proceedings in the public domain ( Full Paper)|
|Subjects:||G000 Computing and Mathematical Sciences|
|DOI (a stable link to the resource):||10.1007/978-3-540-87730-1_7|
|Faculties:||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling|
|Date Deposited:||09 Feb 2012 12:39|
|Last Modified:||14 Apr 2015 12:57|
Actions (login required)
Downloads per month over past year