A voronoi-based 9-intersection model for spatial relations

Models of spatial relations are a key component of geographical information science (GIS). Efforts have been made to formally define spatial relations. The foundation model for such a formal presentation is the 4-intersection model proposed by Egenhofer and Franzosa (1991). In this model, the topological relations between two simple spatial entities A and B are transformed into point-set topology problems in terms of the intersections of A's interior and boundary with B's interior and boundary. Later, Egenhofer and Herring (1991) extended this model to 9-intersection by addition of another element, i.e. the exterior of an entity, which is then defined as its complement. However, the use of its complement as the exterior of an entity causes the linear dependency between its interior, boundary and exterior. Thus such an extension from 4- to 9-intersection should be of no help in terms of the number of relations. This can be confirmed by the discovery of Egenhofer et al. (1993). The distinction of additional relations in the case where the co-dimension is not zero is purely due to the adoption of definitions of the interior, boundary and exterior of entities in a lower dimensional to a higher dimension of space, e.g. lines in 1-dimensional space to 2-dimensional space. With such adoption, the topological convention that the boundary of a spatial entity separates its interior from its exterior is violated. It is such a change of conventional topological properties that causes the linear dependency between these three elements of a spatial entity (i.e. the interior, boundary and exterior) to disappear, thus making the distinction of additional relations possible in such a case (i.e. the co-dimension is not zero). It has been discussed that the use of Voronoi-regions of an entity to replace its complement as its exterior in the 9-intersection model would solve the problem (i.e. violation of topological convention) or would make this model become more comprehensive. Therefore, a Voronoi-based 9-intersection model is pro