A Qualitative Spatial Reasoner

Traditionally, GISs employ purely quantitative methods to represent and infer spatial information. This approach has serious shortcomings when dealing with qualitative spatial information, which may be incomplete or imprecise and without knowledge of the particular geometry of the spatial objects involved. This paper describes efforts to build a prototype of a qualitative spatial reasoner about spatial relations such as topological relations, cardinal directions, and approximate distances. It builds on relation algebras developed for the individual spatial relations. The system is extensible as demonstrated by the inclusion of temporal relations. The novel concept in this object-oriented setting is the treatment of relations as first-class objects, rather than as labeled links between spatial objects.

[1]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

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

[3]  International symposium on spatial data handling , 1984 .

[4]  David N. Chin,et al.  Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter) , 1992, Spatio-Temporal Reasoning.

[5]  Timos K. Sellis,et al.  The Semantics of Relations in 2D Space Using Representative Points: Spatial Indexes , 1993, COSIT.

[6]  Max J. Egenhofer,et al.  Reasoning about Gradual Changes of Topological Relationships , 1992, Spatio-Temporal Reasoning.

[7]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[8]  Terence R. Smith,et al.  Design and Implementation of Large Spatial Databases , 1989, Lecture Notes in Computer Science.

[9]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[10]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[11]  M. Egenhofer,et al.  Assessing the Consistency of Complete and Incomplete Topological Information , 1993 .

[12]  M. Egenhofer.  Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[13]  Soumitra Dutta,et al.  Qualitative Spatial Reasoning: A Semi-quantitative Approach Using Fuzzy Logic , 1989, SSD.

[14]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

[15]  Benjamin Kuipers,et al.  Modeling Spatial Knowledge , 1978, IJCAI.

[16]  Jung-Hong Hong,et al.  Qualitative distance and direction reasoning in geographic space , 1995 .

[17]  David M. Mark,et al.  Automated Provision of Navigation Assistance to Drivers , 1987 .

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

[19]  Reginald G. Golledge,et al.  Place recognition and wayfinding: Making sense of space , 1992 .

[20]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[21]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[22]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[23]  Daniel Hernández,et al.  Maintaining Qualitative Spatial Knowledge , 1993, COSIT.

[24]  Donna Peuquet,et al.  An algorithm to determine the directional relationship between arbitrarily-shaped polygons in the plane , 1987, Pattern Recognit..

[25]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .