Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox

A multitude of calculi for qualitative spatial reasoning (QSR) have been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are only partially specified and implementations are rarely available. With the SparQ toolbox presented in this text, we seek to improve this situation by making common calculi and standard reasoning techniques accessible in a way that allows for easy integration into applications. We hope to turn this into a community effort and encourage researchers to incorporate their calculi into SparQ. This text is intended to present SparQ to potential users and contributors and to provide an overview on its features and utilization.

[1]  Gérard Ligozat,et al.  What Is a Qualitative Calculus? A General Framework , 2004, PRICAI.

[2]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

[3]  Alfonso Gerevini,et al.  Combining topological and size information for spatial reasoning , 2002, Artif. Intell..

[4]  Ralf Röhrig Repräsentation und Verarbeitung von qualitativem Orientierungswissen , 1998, DISKI.

[5]  Max J. Egenhofer,et al.  A Formal Definition of Binary Topological Relationships , 1989, FODO.

[6]  D. J. Hand,et al.  Artificial intelligence , 1981, Psychological Medicine.

[7]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[8]  Bernhard Nebel,et al.  The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning , 2004, Spatial Cognition.

[9]  Till Mossakowski,et al.  Casl Specifications of Qualitative Calculi , 2005, COSIT.

[10]  Gérard Ligozat,et al.  Qualitative Triangulation for Spatial Reasoning , 1993, COSIT.

[11]  Christian Freksa,et al.  Qualitative spatial reasoning using orientation, distance, and path knowledge , 2004, Applied Intelligence.

[12]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[13]  Reinhard Moratz,et al.  Qualitative Spatial Reasoning about Line Segments , 2000, ECAI.

[14]  Christoph Schlieder,et al.  Reasoning About Ordering , 1995, COSIT.

[15]  Jan Chomicki,et al.  Hippo: A System for Computing Consistent Answers to a Class of SQL Queries , 2004, EDBT.

[16]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs , 2003, Spatial Cognition.

[17]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[18]  Jayant Sharma,et al.  Integrated spatial reasoning in geographic information systems: combining topology and direction , 1996 .

[19]  Ralf Röhrig,et al.  Representation and Processing of Qualitative Orientation Knowledge , 1997, KI.

[20]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[21]  Max J. Egenhofer,et al.  Consistent queries over cardinal directions across different levels of detail , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[22]  Reinhard Moratz,et al.  Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus , 2004, Spatial Cognition.

[23]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[24]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[25]  Michael F. Goodchild,et al.  Foundations of Geographic Information Science , 2003 .

[26]  Universiẗat Bremen Bibliothekstr,et al.  A Relative Orientation Algebra with Adjustable Granularity , 2005 .

[27]  Reinhard Moratz,et al.  Empirical Complexity Issues of Practical Qualitative Spatial Reasoning about Relative Position , 2004 .

[28]  Lutz Frommberger,et al.  SparQ User Manual V0.6 , 2006 .

[29]  Stephan Winter,et al.  Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings , 2007, COSIT.

[30]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[31]  Wilfried Brauer,et al.  Spatial Cognition III , 2003, Lecture Notes in Computer Science.

[32]  Alexander Reinefeld,et al.  Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..

[33]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[34]  Chengqi Zhang,et al.  PRICAI 2004: Trends in Artificial Intelligence , 2004, Lecture Notes in Computer Science.

[35]  Bernhard Nebel,et al.  Principles of knowledge representation and reasoning: proceedings of the Third International Conference (KR'92) , 1992 .

[36]  Jean-François Condotta,et al.  A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi , 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

[37]  Eliseo Clementini,et al.  A Model for Ternary Projective Relations between Regions , 2004, EDBT.

[38]  Debasis Mitra,et al.  Qualitative Direction Calculi with Arbitrary Granularity , 2004, PRICAI.

[39]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[40]  Bernhard Nebel,et al.  Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation , 2001, COSIT.

[41]  Gérard Ligozat,et al.  Weak Composition for Qualitative Spatial and Temporal Reasoning , 2005, CP.

[42]  Peter van Beek,et al.  Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.