Options
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Dylla, Frank; Mossakowski, Till; Schneider, Thomas; u. a. (2013): Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Thora Tenbrink (Hrsg.), Spatial Information Theory : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013 ; proceedings, Berlin [u.a.]: Springer, S. 516–536, doi: 10.1007/978-3-319-01790-7_28.
Faculty/Chair:
Author:
Title of the compilation:
Spatial Information Theory : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013 ; proceedings
Editors:
Corporate Body:
COSIT, 2013, Scarborough
Publisher Information:
Year of publication:
2013
Pages:
Series ; Volume:
Lecture notes in computer science ; 8116
Language:
English
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.
Keywords:
Qualitative Spatial Reasoning
Type:
Contribution to an Articlecollection
Activation date:
January 30, 2015
Permalink
https://fis.uni-bamberg.de/handle/uniba/20957