Publication year: 2011 Source: Artificial Intelligence, Volume 175, Issues 16-17, October-November 2011, Pages 2099-2127 Reinhard Moratz, Dominik Lücke, Till Mossakowski 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.
Originally posted here:
A condensed semantics for qualitative spatial reasoning about oriented straight line segments