Algebraic Properties of Qualitative Spatio-Temporal Calculi

Professorship/Faculty: Smart Environments  
Author(s): Dylla, Frank; Mossakowski, Till; Schneider, Thomas; Wolter, Diedrich
Title of the compilation: Spatial Information Theory : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013 ; proceedings
Editors: Tenbrink, Thora
Corporate Body: COSIT, 2013, Scarborough
Publisher Information: Berlin [u.a.] : Springer
Year of publication: 2013
Pages: 516-536
Series ; Volume: Lecture notes in computer science ; 8116
Language(s): English
Licence: German Act on Copyright 
DOI: 10.1007/978-3-319-01790-7_28
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.
Keywords: Qualitative Spatial Reasoning
Document Type: Contribution to an Articlecollection
Year of publication: 30. January 2015