%0 Conference Paper %1 DyllaEtAl13 %A Dylla, Frank %A Mossakowski, Till %A Schneider, Thomas %A Wolter, Diedrich %B Proceedings of Conference On Spatial Information Theory 2013 %D 2013 %E Tenbrink, Thora %E Stell, John G. %E Galton, Antony %E Wood, Zena %I Springer-Verlag Berlin Heidelberg %K algebra algebraic closure qualitative reasoning relation spatial %P 516--536 %T Algebraic Properties of Qualitative Spatio-Temporal Calculi %U http://link.springer.com/chapter/10.1007%2F978-3-319-01790-7_28 %V 8116 %X 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.

@inproceedings{DyllaEtAl13, 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 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.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Dylla, Frank and Mossakowski, Till and Schneider, Thomas and Wolter, Diedrich}, biburl = {https://www.bibsonomy.org/bibtex/258ccc39e90c2718ef0348354b00170b1/tillmo}, booktitle = {Proceedings of Conference On Spatial Information Theory 2013}, editor = {Tenbrink, Thora and Stell, John G. and Galton, Antony and Wood, Zena}, interhash = {85e950e17ca287366da8d6f0da7cbccf}, intrahash = {58ccc39e90c2718ef0348354b00170b1}, keywords = {algebra algebraic closure qualitative reasoning relation spatial}, pages = {516--536}, publisher = {Springer-Verlag Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Algebraic Properties of Qualitative Spatio-Temporal Calculi}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-01790-7_28}, volume = 8116, year = 2013 }