一致性检验问题是一个基础理论问题,是空间方向关系推理研究领域的重要分支,越来越引起研究者的注意。就一般情况而言,一致性检验是NP完全的,由此,国内外学者主要都是针对特定子类——凸关系网络展开研究,虽采用的合成运算方法不同,但最终的判定原理大都是基于业内现有的“路径一致性理论”,传统的纯数学方法没有新的突破。本文分别对区域物体和点物体,给出了新的解决方案,一种基于有向图的可视检验,为一致性检验提供了新的思路。首先论文给出了区域物体方向关系的图模型的一系列相关定义,通过划分,把每一组方向关系转化为有向图,即节点代表对象,有向边表示它们之间的方向关系。然后依据一定规则对整个约束关系集的划分图进行合并、精炼,得到最终的SGV(Spatial Graph in Vertical)。通过检验SGV中是否存在环来检验其一致性,若有环存在则说明给定的方向关系集是不一致的,同时给出了理论证明。最后运用实例证明了该方法的正确性。随后本文又讨论了点物体的主方向关系一致性检验,基本思路是通过引入欧几里德空间坐标图的概念,即全局坐标系统与地理的外部参考框架一致,然后根据主物体和参考物体的方向关系,分别对主物体和参考物体在X-轴和Y-轴进行投影的方式构建坐标图,从而使得一致性检验问题转化为检查图中是否存在环的问题。最后论文给出了实施伪码算法,时间复杂度是O(n+e),优于Allen的O(n2)。