基本主方向关系的反关系推理

摘要

在深入研究了基于MBR的主方向关系的反关系推理的基础上,提出了一种基于区域对象本身的基本主方向关系的反关系推理算法.在理论上对该算法的正确性和完备性进行了证明,并通过与实际情形逐一对比验证了该算法的正确性.%After deeply researching on reasoning about the inverse of cardinal direction relation in MBR model,this paper proposed the concept of original relation of rectangular cardinal direction relation, and then devised an algorithm for computing the inverse of the basic cardinal direction relation between regions in a more direct way. The results of both analyzing in theory and confirming through comparing the result of the algorithm with the actual situation for each basic cardinal direction relation show that this algorithm is correct and complete.