Research on the Reasoning for Cardinal Direction Relations of Linetype Objects
The reasoning for cardinal direction relations of linetype objects is one important part of the spatial direction relation reasoning.Based on the analysis of the cardinal direction relation model for linetype objects,the rectangle algebra of projective intervals for linetype objects' cardinal direction relations is put forward in this paper.Accordingly,the representation,basic reasoning operations and the identification of convex relations out of linetype objects' cardinal direction relations are realized.The method and algorithm of consistency checking for linetype objects' cardinal direction relation networks are proposed by combining the convex relation network theorem and path consistency checking algorithm and the corresponding correctness proof is given as well.