本体辅助的定性空间关系推理机制

【引言】目前，空间关系的研究忽略了人类的常识空间认知，描述的空间关系难以被计算机理解，空间关系推理过程中存在较为严重的语义冲突。近年来，随着空间关系和地理本体理论的发展，国内外已有为数不多的学者涉足空间关系本体领域，Coenen提出了空间关系推理中核心本体的概念; 在Coenen核心本体的基础上，构建了通用空间关系表示核心本体( SRC-ontology) ; Casati 等人提出利用部分—整体学、位置论和拓扑学三个理论工具来形式化表示地理空间实体间的空间关系; 针对OWL 表示地理本体的不足，在Casati 三个基本理论工具的基础上扩展了OWL，使其构建的地理本体能够表达空间特征; 研究了基于GML 的时空地理本体模型。将地理本体理论引入空间关系描述与推理的研究中，有利于解决空间推理过程中的语义异质问题，实现空间关系知识的共享和重用，使得推理结果更好地被大众理解和接受。