地理本体推理(geo-ontology Reasoning),工学-测绘学-地理信息工程-地理信息-地理本体-地理本体推理,依据一定的规则从地理概念及其关系的说明或定义中推断出隐含的地理相关知识的过程。地理本体推理一方面检验了本体的一致性,另一方面可以发现深层的地理知识。检验地理本体的一致性就是对断言事实库中的每个实例进行检验,检验实例是否与类、属性和个体的所有公理约束相冲突。一致性检验是为了保证本体库结构的逻辑一致性和知识描述的正确性,为后续的蕴涵知识推理、本体库的拓展以及与其他领域本体库的集成提供逻辑保证。基于关系的蕴涵知识发现推理就是在地理本体库的概念层次与属性关系的基础上,采取规则推理策略,在本体库中进行模式匹配。在推理过程中,主要考虑概念与概念之间关系(匹配、子类、部分、成员等关系)、概念与实例关系(判断一个个体是否是某个类的实例、某个类所有的实例等)、实例与实例的关系以及对象属性关系(如属性包含关系等)。由于地理本体所表达的对象具有空间特征,其推理过程相对于一般的本体推理更为复杂,这主要体现在地理本体的空间推理上。