Crossing the Boundary: Two Benchmarks for Qualitative Spatial Reasoning bridging Relative Directions and Mereotopology

Andre van Delden and Reinhard Moratz. “Crossing the Boundary: Two Benchmarks for Qualitative Spatial Reasoning bridging Relative Directions and Mereotopology”, Spatial Cognition, 2014 (in press)

Abstract:
A well known problem of classical Qualitative Spatial Reasoning relying on composition tables is the strict division of different spatial aspects. For example, when dealing with relative directional relations, mereotopological relations may inherently be present without being directly expressed. We discuss how mereotopological relations may arise in constraint networks over Dipole relations and how these relations by be extracted via interdependency functions. Having made them explicit, these relations may be used to deploy reasoning methods specific to their spatial aspect. In order to further the development of Qualitative Spatial Reasoning, we present two families of benchmark problems that are cognitively easy to solve but cannot be decided by present qualitative reasoning methods.