| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter |
| Herausgeber: |
Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood |
| Titel: |
Algebraic Properties of Qualitative Spatio-Temporal Calculi |
| Buch / Sammlungs-Titel: |
Proceedings of Conference On Spatial Information Theory 2013 |
| Band: |
8116 |
| Seite(n): |
516 – 536 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2013 |
| Verleger: |
Springer-Verlag Berlin Heidelberg |
| Abstract / Kurzbeschreibung: |
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 different 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 a relation algebra. |
| Internet: |
http://link.springer.com/chapter/10.1007%2F978-3-319-01790-7_28 |
| Schlagworte: |
qualitative spatial reasoning relation algebra algebraic closure |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
17. 01. 2014 |
