地理链接数据的空间拓扑完整性验证  

Spatial Topological Integrity Verificationof Geographic Linked Data

作　　者：卢禹博 叶育鑫[1,2] 欧阳丹彤[1,2] LU Yubo;YE Yuxin;OUYANG Dantong(College of Computer Science and Technology,Jilin University,Changchun 130012,China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University,Changchun 130012,China)

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学符号计算与知识工程教育部重点实验室,长春130012

出　　处：《吉林大学学报(理学版)》2025年第1期60-66,共7页Journal of Jilin University:Science Edition

基　　金：吉林省科技厅基础研究项目(批准号:20220101114JC).

摘　　要：为能准确且快捷地验证地理链接数据多重实体空间拓扑关系的完整性,提出一种基于RCC8模型的饱和推理方法,用于检验多重空间拓扑关系是否具有冲突.该方法应用推理规则,将关系对进行两两组合推理,逐步推导出潜在空间关系并对推理结果进行检验,不断重复以上过程,直到确保推理过程在所有关系对均被推导后终止.在此基础上,封装一个基于RCC8模型的饱和推理验证组件,以方便使用者在无需重复编写代码的情况下,通过直接调用组件验证多重空间拓扑关系.利用该方法和组件对SLIPO项目的链接数据集的部分数据进行测试,成功识别出GeoSHACL组件无法检测到的多个空间拓扑关系冲突实体.In order to accurately and quickly verify the integrity of multiple entity spatial topological relationships in geographic linked data,we proposed a saturation reasoning method based on the RCC8 model to detect whether multiple spatial topological relationships had conflicts.The method applied reasoning rules to perform pairwise combination reasoning of relationship pairs,gradually inferring potential spatial relationships and verifying the reasoning results.The above process was repeated continuously until it was ensured that the reasoning process terminated after all relationship pairs had been fully derived.On this basis,we encapsulated a saturation reasoning verification component based on RCC8 model to facilitate users in verifying multiple spatial topological relationships without the need for repetitive coding by directly invoking the component.By using the method and component to test partial data from the linked dataset of the SLIPO project,multiple spatial topological conflict entities that the GeoSHACL component could not detect were successfully identified.

关 键 词：地理链接数据 空间完整性约束 饱和式推理 完整性验证 空间约束组件 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]