Nesting in Euler Diagrams: syntax, semantics and construction
Nesting in Euler Diagrams: syntax, semantics and construction
复制标题
欧拉图中的嵌套：语法、语义和构造
DOI：
10.1007/s10270-003-0036-8
复制
发表时间：
2004
影响因子：
2
通讯作者：
John Taylor
中科院分区：
文献类型：
--
作者：
Jean Flower;J. Howse;John Taylor
本文讨论了欧拉图中嵌套的概念，以及嵌套如何影响欧拉图的解释和构造。在为具体的欧拉图（在平面上绘制）和抽象图（只有形式结构）设置了必要的定义之后，在具体和抽象级别上定义了嵌套性的概念。对偶图的概念用于给出可绘制的抽象欧拉图嵌套的备选条件。探讨了图语义的自然发展过程，并提出了图语义的“嵌套形式”。我们描述了这项工作是如何支持图的工具构建的，以及我们期望这种支持在嵌套图的比例方面是多么有效。
This paper considers the notion of nesting in Euler diagrams, and how nesting affects the interpretation and construction of such diagrams. After setting up the necessary definitions for concrete Euler diagrams (drawn in the plane) and abstract diagrams (having just formal structure), the notion of nestedness is defined at both concrete and abstract levels. The concept of a dual graph is used to give an alternative condition for a drawable abstract Euler diagram to be nested. The natural progression to the diagram semantics is explored and we present a “nested form” for diagram semantics. We describe how this work supports tool-building for diagrams, and how effective we might expect this support to be in terms of the proportion of nested diagrams.