Towards a general theory for qualitative space

Finding ways for defining the complete and sound (physically plausible) set of relationships between spatial objects is a pre-requisite for the development and realization of qualitative representation and reasoning formalisms. Establishing the set of sound relationships is a complicated task especially when complex objects are considered. Hence, current approaches to qualitative representation and reasoning are limited to handling simple spatial objects. In this paper, we extend a constraint-based approach to qualitative representation of topological relationships by introducing general soundness rules. The rules reduce the combinatorial set of relations produced by the method to the complete and physically possible ones. The rules are general and apply to objects of random complexity arid together with the representation and reasoning formalism form a theory for qualitative space.

[1]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[2]  Shi-Kuo Chang,et al.  Picture Indexing and Abstraction Techniques for Pictorial Databases , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[3]  L. Vieu.  Spatial Representation and Reasoning in Artificial Intelligence , 1997 .

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

[5]  Alia I. Abdelmoty,et al.  Order in Space: A General Formalism for Spatial Reasoning , 1997, Int. J. Artif. Intell. Tools.

[6]  Z. Cui,et al.  Taxonomies of Logically Dened Qualitative Spatial Relations 3 , 1994 .

[7]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[8]  Travé-Massuyès.  Conceptual Neighborhood and its role in temporal and spatial reasoning , 1991 .

[9]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..

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

[11]  Andre Brown,et al.  Spatial reasoning: improving computational efficiency , 2000 .

[12]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[13]  Max J. Egenhofer,et al.  Topological Relations Between Regions with Holes , 1994, Int. J. Geogr. Inf. Sci..

[14]  Alia I. Abdelmoty,et al.  Approaches to the Representation of Qualitative Spatial Relationships for Geographic Databases: A Critical Survey and Possible Extensions , 1994, AGDM.

[15]  Max J. Egenhofer,et al.  Definitions of Line-Line Relations for Geographic Databases , 1993, IEEE Data Eng. Bull..

[16]  Zhan Cui,et al.  Naive topology: modeling the force pump , 1993 .

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

[18]  Eliseo Clementini,et al.  Approximate topological relations , 1997, Int. J. Approx. Reason..