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

作     者：卢禹博 叶育鑫 欧阳丹彤 LU Yubo;YE Yuxin;OUYANG Dantong

作者机构：吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 

出 版 物：《吉林大学学报(理学版)》 (Journal of Jilin University:Science Edition)

年 卷 期：2025年第63卷第1期

页      面：60-66页

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

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

摘      要：为能准确且快捷地验证地理链接数据多重实体空间拓扑关系的完整性,提出一种基于RCC8模型的饱和推理方法,用于检验多重空间拓扑关系是否具有冲突.该方法应用推理规则,将关系对进行两两组合推理,逐步推导出潜在空间关系并对推理结果进行检验,不断重复以上过程,直到确保推理过程在所有关系对均被推导后终止.在此基础上,封装一个基于RCC8模型的饱和推理验证组件,以方便使用者在无需重复编写代码的情况下,通过直接调用组件验证多重空间拓扑关系.利用该方法和组件对SLIPO项目的链接数据集的部分数据进行测试,成功识别出GeoSHACL组件无法检测到的多个空间拓扑关系冲突实体.