空间推理是空间分析的重要基础，也是人类认知世界的基本活动。目前空间推理中研究较多的是定性空间推理，定性空间推理的研究重点在于空间关系的形式化表示模型以及空间推理的规则与策略。 近些年来，随着计算机学科的迅速发展，本体及相关技术被引入地学领域中。虽然取得了很大的进展，但研究的重点大多集中在地理本体的形式化与知识的共享，忽视了本体与空间推理的相互结合，而且在涉及到基于本体的空间推理的研究中，采用的本体推理方式缺乏完备的空间推理规则，也没有与常用的定性空间推理方式相结合，因此对空间推理领域的推动十分有限。 本文在分析已有空间方向关系模型的基础上做出适当改进，并以该模型为基础，对方向关系约束集的一致性检验算法进行分析和改进，最后以本体为基础实现该改进算法，达到本体推理与传统空间推理方式相结合的目的。 本文主要包含以下内容和结论： (1)改进基于最小外切矩形的方向关系模型，得到本文R<,10>方向关系模型。 (2)将回跳和回溯搜索引入一致性算法并加以改进，使其可以在不含圈的方向约束集中快速做出判断，并输出不满足一致性的原因。 (3)以本体为基础，将组合表以推理规则的形式注入本体推理引擎，通过本体开源软件包实现改进的一致性检验算法，并以实例验证其正确性。