Consistency Checking for Direction Relations between Regions with Max-restricted Path Consistency Algorithm

In this paper, direction relations between certain regions is defined based on the cardinal direction relations model. Considering the regions of two-dimensional is infinite, we encapsulate every two region variables. On the basis of the spatial direction relations model which is described in the sections below, we consider the 218 basic cardinal direction relations as domain of region variables which have been encapsulated, direction relations between the new region variables encapsulated as constraints, accordingly we translate the problem of consistency checking for direction relations between regions into a constraint satisfaction problem which can be solved, then the consistency checking for direction relations between regions is conducted with max-restricted path consistency algorithm.