Qualitative spatio-temporal reasoning

Our work in spatio-temporal reasoning focuses on relative orientation calculi. Reasoning problems (e.g. consistency of constraint networks) of these caluli are existsR-hard. Therefore, we develop and compare different approximation algorithms for these caculi.

Moreover, an important problem is that there has been a profileration of many calculi, varying in topic (mereotopology, absolute orientation, relative orientation) and granularity. An research question is how to heterogeneously combine these calculi, such that problems can be modeled using different calculi in an integrated and coherent way.

Completed projects (funded by DFG within SFB/TR 8)

  • R4-[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
  • I1-[OntoSpace] Ontologies for Spatial Communication
  • I4-[SPIN] Specification for the Integration of Spatial Concepts

Tools

  • Zeno (developed in our group)
  • SparQ (develop in Bamberg)
  • GQR (developed in Freiburg)

Publications of our group

Till Mossakowski, Reinhard Moratz. Relations Between Spatial Calculi About Directions and Orientations. In Journal of Artificial Intelligence Research, to appear.   detail   pdf
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter (2013). Algebraic Properties of Qualitative Spatio-Temporal Calculi. In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood (Eds.), Proceedings of Conference On Spatial Information Theory 2013, Vol. 8116, pp. 516–536, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
André van Delden, Till Mossakowski (2013). Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward. In 36th Annual Conference on Artificial Intelligence (KI 2013), Vol. 8077, pp. 248–259, Lecture Notes in Artificial Intelligence. Springer.   detail     www
Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Vol. 180–181, (p. 34–45).    detail     www   pdf
Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen, Cunyuan Cai (2012). Intuitive and Natural Interfaces for Geospatial Data Classification. In Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012.   detail   pdf
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. In C. Claramunt, S. Levashkin,, M. Bertolotto (Eds.), Fourth International Conference on GeoSpatial Semantics, Vol. 6631, (p. 88–107). , Lecture Notes in Computer Science. Springer.   detail     www   pdf
Dominik Lücke, Till Mossakowski, Reinhard Moratz (2011). Streets to the OPRA - Finding your destination with imprecise knowledge. In Jochen Renz, Anthony G. Cohn, Stefan Wölfl (Eds.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pp. 25–32.   detail     www   pdf
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Vol. 175, pp. 2099–2127.   detail     www   pdf
Dominik Lücke, Till Mossakowski (2010). A much better polynomial time approximation of consistency in the LR calculus. In A. Gomez-Perez, T. Agotnes (Eds.), Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Vol. 222, pp. 175–185, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail     www   pdf
Dominik Lücke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.), Spatial Cognition VI 2008, Vol. 5248, pp. 426–440, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Stefan Wölfl, Till Mossakowski (Eds.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.   detail
Stefan Wölfl, Till Mossakowski (2005). CASL Specifications of Qualitative Calculi. In A. G. Cohn, D. M. Mark (Eds.), Conference on Spatial Information Theory, Vol. 3693, pp. 200–217, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119.   detail   pdf

Last Modification: 08.06.2023 - Contact Person: