License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.COSIT.2019.28
URN: urn:nbn:de:0030-drops-111206
URL: https://drops.dagstuhl.de/opus/volltexte/2019/11120/
Go to the corresponding LIPIcs Volume Portal


Moratz, Reinhard ; Sabellek, Leif ; Schneider, Thomas

Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper)

pdf-format:
LIPIcs-COSIT-2019-28.pdf (0.5 MB)


Abstract

The OPRA* calculus family, originally suggested by Frank Dylla, adds parallelism to the OPRA calculus family which is very popular in Qualitative Spatio-temporal Reasoning (QSTR). Adding parallelism enables the direct representation of parallel moving objects, which is relevant in many applications like traffic monitoring. However, it turned out that it is hard to derive a sound geometric analysis. So far no sound spatial reasoning was supported. Our new generic analysis based on combining condensed semantics lower bounds with upper bounds from algebraic mappings of related calculi already leads to a close and sound approximization. This approximization can be easily augmented with a manual analysis of few geometrically underconstrained cases and then yields a complete analysis of possible configurations in this oriented point framework. This for the first time enables sound standard QSTR constraint reasoning for the OPRA* calculus family.

BibTeX - Entry

@InProceedings{moratz_et_al:LIPIcs:2019:11120,
  author =	{Reinhard Moratz and Leif Sabellek and Thomas Schneider},
  title =	{{Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper)}},
  booktitle =	{14th International Conference on Spatial Information Theory (COSIT 2019)},
  pages =	{28:1--28:9},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-115-3},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{142},
  editor =	{Sabine Timpf and Christoph Schlieder and Markus Kattenbeck and Bernd Ludwig and Kathleen Stewart},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11120},
  URN =		{urn:nbn:de:0030-drops-111206},
  doi =		{10.4230/LIPIcs.COSIT.2019.28},
  annote =	{Keywords: qualitative spatial-temporal reasoning, composition table, condensed semantics, homomorphic embeddings}
}

Keywords: qualitative spatial-temporal reasoning, composition table, condensed semantics, homomorphic embeddings
Collection: 14th International Conference on Spatial Information Theory (COSIT 2019)
Issue Date: 2019
Date of publication: 03.09.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI