Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article
Author: Reinhard Moratz, Dominik Lücke, Till Mossakowski
Title: A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments
Volume: 175
Page(s): 2099 – 2127
Journal: Artificial Intelligence Journal
Year published: 2011
Abstract: More than 15 years ago, a set of qualitative spatial relations between 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.
Internet: http://dx.doi.org/10.1016/j.artint.2011.07.004
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/oslsa.pdf
Keywords: Qualitative Spatial Reasoning Relation Algebra Affine Geometry
Status: Reviewed
Last updated: 01. 02. 2012

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum