Algebraic Properties of Qualitative Spatio-temporal Calculi

  • Frank Dylla
  • Till Mossakowski
  • Thomas Schneider
  • Diedrich Wolter
Conference paper

DOI: 10.1007/978-3-319-01790-7_28

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8116)
Cite this paper as:
Dylla F., Mossakowski T., Schneider T., Wolter D. (2013) Algebraic Properties of Qualitative Spatio-temporal Calculi. In: Tenbrink T., Stell J., Galton A., Wood Z. (eds) Spatial Information Theory. COSIT 2013. Lecture Notes in Computer Science, vol 8116. Springer, Cham

Abstract

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In this paper we identify the minimal requirements to binary spatio-temporal calculi and we discuss the relevance of the according axioms for representation and reasoning. We also analyze existing qualitative calculi and provide a classification involving different notions of relation algebra.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Frank Dylla
    • 1
  • Till Mossakowski
    • 1
    • 2
  • Thomas Schneider
    • 3
  • Diedrich Wolter
    • 1
  1. 1.Collaborative Research Center on Spatial Cognition (SFB/TR 8)Univ. of BremenGermany
  2. 2.DFKI GmbHBremenGermany
  3. 3.Department of Mathematics and Computer ScienceUniversity of BremenGermany

Personalised recommendations