[BibTeX] [RIS]
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments
Type of publication: Article
Citation: MoratzEtAl2011
Journal: Artificial Intelligence Journal
Volume: 175
Year: 2011
Pages: 2099-2127
DOI: 10.1016/j.artint.2011.07.004
Abstract: More than 15 years ago, a set of qualitative spatial relations between project = {R4-LogoSpace}, oriented straight line segments (dipoles) was suggested by Schlieder. However, it turned out to be difficult to establish a sound constraint calculus based on these relations. In this paper, we present the results of a new investigation into dipole constraint calculi which uses algebraic methods to derive sound results on the composition of relations of dipole calculi. This new method, which we call condensed semantics, is based on an abstract symbolic model of a specific fragment of our domain. It is based on the fact that qualitative dipole relations are invariant under orientation preserving affine transformations. The dipole calculi allow for a straightforward representation of prototypical reasoning tasks for spatial agents. As an example, we show how to generate survey knowledge from local observations in a street network. The example illustrates the fast constraint-based reasoning capabilities of dipole calculi. We integrate our results into two reasoning tools which are publicly available.
Userfields: bdsk-url-1={http://dx.doi.org/10.1016/j.artint.2011.07.004}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/oslsa.pdf}, project={R4-LogoSpace}, status={Reviewed},
Keywords: Qualitative Spatial Reasoning Relation Algebra Affine Geometry
Authors Moratz, Reinhard
L├╝cke, Dominik
Mossakowski, Till
  • http://dx.doi.org/10.1016/j.ar...
  • http://www.informatik.uni-brem...