拓扑关系与性质及其在空间推理中的应用-中国工程科学.PDFVIP

拓扑关系与性质及其在空间推理中的应用 李成名，刘晓丽 （中国测绘科学研究院，北京 100830） [摘要] 首先根据笔者以前的研究成果，给出了两个空间实体之间完备、唯一的拓扑关系形式化表达，进而论 述了它们之间存在的性质。从这些性质出发，得出了相互间空间关系复合的结果。空间推理从广义上而言， 是指从已知信息推导未知信息的理论和方法，据其使用的理论基础，可以分为代数推理和逻辑推理，空间复合 的结果可以直接用于代数推理，又可以作为前提条件用于逻辑推理。 [关键词] 拓扑关系；空间关系复合；空间推理；代数推理；逻辑推理 [中图分类号] P208 [文献标识码] A [文章编号] 1009-1742（2013）05-0014-06 [2 ，3] 满足空间关系的唯一性和完备性 。 1 前言 2 拓扑关系的完备、形式化表达 在基于拓扑结构的传统地理信息系统（GIS ） 中，如ARC/INFO ，定义了3 类拓扑关系，即拓扑包 基于点集拓扑空间关系描述方案隶属于 含、拓扑邻接和拓扑关联。拓扑包含是指线包括端 Intersection-based 方法，它的基本思想是将空间实 点和节点，面包括构成它的线。拓扑邻接是指有公 体看成由点构成的集合，空间实体的关系就可以通 共点的线，有公共边的面。拓扑关联是指线与面之 过借助点集拓扑理论，通过比较两个点集之间的情 [1] 间、线与线之间的联接关系 。然而，两个空间实体 况，得出空间实体之间的拓扑关系。1991年，Egenhofer [4] 之间的拓扑关系远不止如此，这种理解至少是不全 等 把每一个空间实体剖分为3 个“部件”，即内部、 面、不系统的。为此，自20 世纪80 年代以来，力求 边界和外部3 个拓扑不变量。然而，由于“补”作为 从语义层次上完整、准确地理解拓扑关系一直是 空间实体的外部不合适，使得3 个拓扑不变量线性 GIS 理论界研究的热点内容之一。高度概括这些研 相关，引发了一系列问题，较为典型的有：a. 不能区 究工作可以将其分为两类，一类是Interaction-based 分Disjoint 关系；b. 不能形式化表达空间邻近关系； 方法，直接用形式化的语言给出严密定义，但是关 c. 不能处理复杂的空间目标；d. 可操作性差。鉴于 系与关系之间的交叉、覆盖和是否覆盖整个拓扑关 此，提出将与空间实体有关的局部空间分为内部、 [5 ，6] 系空间一般不予以讨论。另一类是Intersection- 边界和Voronoi 多边形凸包 。如果两个空间实体 ∂A V based 方法，该方法是将空间实体分成几个“部件”， 用符号A 、B 表示，其“部件”分别表示为： 、A °、A 通过比较“部件”之间的交集情况，从而确定空间实 和 、B° 、BV ，基于Voronoi 多边形的9-Intersection ∂B 体之间的关系。