Topological reasoning is important for speeding up spatial queries, e.g. in GIS or in AI (robotics). While topological relations between spatial objects in the vector model (I R 2) are investigated thoroughly, we run into inconsistencies in the raster model (Z Z 2). But instead of reducing our requirements in case of reasoning in raster images we change from simple raster to a cellular decompos...
