III: Small: A Theory of Topological Relations for Compound Spatial Objects

III：小：复合空间物体的拓扑关系理论

• 批准号: 1016740
• 负责人: Max Egenhofer
• 金额: $ 50万
• 依托单位: University of Maine
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-08-15 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1016740&HistoricalAwards=false
• 关键词: III; Small; Theory; Topological; Relations

Spatial data collections with an incomplete coverage yield regionswith holes and separations that often cannot be filled byinterpolation. Geosensor networks typically generate suchconfigurations, and with the proliferation of sensor colonies,there is now an urgent need to provide users with better informationtechnologies of cognitively plausible methods to search for orcompare available spatial data sets that may be incomplete. Theobjective of the investigations is to advance knowledge aboutqualitative spatial relations for spatial regions with holesand/or separations.The core activity is the study of the interplay between topologicalspatial relations with holed regions and topological spatial relationswith separated regions to address the potentially complexconfigurations that feature both holes and separations. Threecharacteristics of such a set of topological relations are addressed:the formalization of a sound set of relations at a granularity thatallows for the distinction of the salient features of holed andseparated regions, while offering the opportunity to generalize tocoarser relations in a meaningful and consistent way; the relaxation ofsuch relations so that the determination of the most similar relationsfollows immediately from the applied methodology; and the qualitativeinference of new information from the composition of such relations toidentify inconsistencies and to drawn information that is notimmediately available from individual relations.The hypothesis is that combining the relation formalization with soundsimilarity and composition reasoning yields critical insights for asufficiently expressive, common approach to modeling topologicalrelations for holed regions and regions with separations. The resultingtheory of topological spatial relations highlights a parallelismbetween relations with holed regions and regions with separations,which is most apparent when these regions are embedded on thesurface of the sphere, while some parts of these regularities are oftenhidden in the usual planar embedding.Since topological relations are qualitative spatial descriptions, theycome close to people's own reasoning, so that a better understanding ofthe relations for compound spatial objects will have ramifications forqualitative spatial reasoning, without a need for drawing graphicaldepictions to make inferences. It also lays the foundation forlinguistic constructs to communicate in natural language spatialconfigurations, ultimately leading to talking maps. An immediate impactof this theory of topological relations between holed and separatedregions is on the querying and reasoning about dataset that aregathered by geosensor networks.For further information see the project web page:URL: http://www.spatial.maine.edu/~max/holesAndParts.html

覆盖不完整的空间数据收集会产生具有空洞和分离的区域，这些区域通常无法通过插值来填充。地理传感器网络通常会产生这样的配置，随着传感器群体的扩散，现在迫切需要为用户提供更好的信息技术，即认知上合理的方法来搜索或比较可能不完整的可用空间数据集。该研究的目的是提高对具有孔洞和/或分离的空间区域的定性空间关系的认识，核心活动是研究具有孔洞区域的拓扑空间关系和具有分离区域的拓扑空间关系之间的相互作用，以解决具有孔洞和分离的潜在复杂配置。这样一组拓扑关系的三个特点是：一个健全的一组关系的形式化的粒度，允许的显着特点的区别，有孔和分离的地区，同时提供了机会，以概括到粗糙的关系，在一个有意义的和一致的方式;放松这样的关系，以便确定最相似的relationsbelow立即从应用的方法;以及从这些关系的组成中对新信息的定性推断，以识别不一致性并从个体关系中提取非即时可用的信息。将关系形式化与声音相似性和合成推理相结合，产生了对一种高效表达的、通用的方法的重要见解，该方法用于对有孔区域和分离区域的拓扑关系进行建模。拓扑空间关系理论强调了有洞区域和有间距区域之间的关系的平行性，当这些区域嵌入在球面上时，这种平行性最明显，而这些区域的某些部分往往隐藏在通常的平面嵌入中。由于拓扑关系是定性的空间描述，它们更接近于人们自己的推理，因此，更好地理解复合空间对象的关系将对定性空间推理产生影响，而不需要绘制图形来进行推理。它还为语言结构在自然语言空间配置中进行交流奠定了基础，最终导致了会说话的地图。这种空洞区域和分离区域之间拓扑关系的理论的直接影响是对地理传感器网络收集的数据集的查询和推理。欲了解更多信息，请参阅项目网页：URL：http://www.spatial.maine.edu/~max/holesAndParts.html