Topological predicates like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. They have been the subject of extensive interdisciplinary research. Spatial database systems and geographical information systems have shown a special interest in them since they enable the support of suitable query languages for spatial data retrieval and analys...
