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

卢禹博 , 叶育鑫 , 欧阳丹彤

PDF(1542 KB)
PDF(1542 KB)
吉林大学学报(理学版) ›› 2025, Vol. 63 ›› Issue (01) : 60-66. DOI: 10.13413/j.cnki.jdxblxb.2024505

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

  • 卢禹博 , 叶育鑫 , 欧阳丹彤
作者信息 +
History +

摘要

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

关键词

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

中图分类号

P208

引用本文

导出引用
卢禹博 , 叶育鑫 , 欧阳丹彤. 地理链接数据的空间拓扑完整性验证. 吉林大学学报(理学版). 2025, 63(01): 60-66 https://doi.org/10.13413/j.cnki.jdxblxb.2024505

基金

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

评论

PDF(1542 KB)

Accesses

Citation

Detail

段落导航
相关文章

/