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

来源：吉林大学学报·理学版杂志2025年第1期北京时间：

作者：卢禹博, 叶育鑫, 欧阳丹彤

单位：吉林大学 计算机科学与技术学院, 长春 130012；吉林大学 符号计算与知识工程教育部重点实验室, 长春 130012

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

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