Qualitative Spatial Reasoning in a Logical Framework

In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP 18. In particular, we show how the topological 9-intersection model 7 and the direction relations based on projections 16 can be modelled in such a framework. STACLP is a constraint logic programming language where formulae can be annotated with labels (annotations) and where relations between these labels can be expressed by using constraints. Annotations are used to represent both time and space.

[1]  Thom W. Frühwirth,et al.  Spatio-temporal Annotated Constraint Logic Programming , 2001, PADL.

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

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

[4]  Timos K. Sellis,et al.  Topological relations in the world of minimum bounding rectangles: a study with R-trees , 1995, SIGMOD '95.

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

[6]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning: Cardinal Directions as an Example , 1996, Int. J. Geogr. Inf. Sci..

[7]  Jim Holder,et al.  User interfaces , 1985, ALET.

[8]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

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

[10]  F. Turini,et al.  Using MedLan to Integrate Geographical Data , 2000, J. Log. Program..

[11]  R. K. Goyal,et al.  Similarity assessment for cardinal directions between extended spatial objects , 2000 .

[12]  Thom W. Frühwirth,et al.  Temporal Annotated Constraint Logic Programming , 1996, J. Symb. Comput..

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

[14]  Eliseo Clementini,et al.  A Small Set of Formal Topological Relationships Suitable for End-User Interaction , 1993, SSD.

[15]  Dimitris Papadias,et al.  Spatial Relations, Minimum Bounding Rectangles, and Spatial Data Structures , 1997, Int. J. Geogr. Inf. Sci..

[16]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

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