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

Abstract: 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.

Key words: geographic linked data, spatial integrity constraint, saturation reasoning, integrity verification, spatial constraint component