Composing cardinal direction relations

Artificial Intelligence

Volumn 152, Issue 2, 2004, Pages 143-171

  Skiadopoulos, Spiros ^a   Koubarakis, Manolis ^b  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b TECHNICAL UNIVERSITY OF CRETE   (Greece)

Author keywords

Cardinal direction relations; Composition table; Consistency based composition; Existential composition; Qualitative spatial reasoning; Spatial constraints

Indexed keywords

ALGORITHMS; COMPOSITION; CONSTRAINT THEORY; MATHEMATICAL MODELS;

COMPOSITION TABLES; QUALITATIVE SPATIAL REASONING; SPATIAL CONSTRAINTS;

ARTIFICIAL INTELLIGENCE;

EID: 0346093839     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(03)00137-1     Document Type: Article

References (44)

1. Abdelmoty A.I., El-Geresy B.A. An intersection-based formalism for representing orientation relations in a geographic database. Proceedings of 2nd ACM Conference on Advances in GIS Theory. 1994.
2. Allen J.F. Maintaining knowledge about temporal intervals. Comm. ACM. 26:(11):1983;832-843.
3. Abdelmoty A.I., Williams H. Approaches to the representation of qualitative spatial relationships for geographic databases. Proceedings of the Advanced Geographic Data Modeling - International GIS Workshop. 1994.
4. B. Bennett, Logical representations for automated reasoning about spatial relations, PhD Thesis, School of Computer Studies, University of Leeds, 1997.
5. Bennett B., Isli A., Cohn A.G. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? Proceedings of IJCAI-97, Nagoya, Japan. 1997.
6. Cui Z., Cohn A.G., Randell D.A. Qualitative and topological relationships in spatial databases. Proceedings of SSD-93. 1993;296-315.
7. Chinn W.G., Steenrod N.E. First Concepts of Topology. 1966;The Mathematical Association of America.
8. Davis E. Representations of Commonsense Knowledge. 1990;Morgan Kaufmann, San Mateo, CA.
9. Düntsch I., Wang H., McCloskey S. Relation algebras in qualitative spatial reasoning. Fund. Inform. 39:1999;229-248.
10. Düntsch I., Wang H., McCloskey S. A relation-algebraic approach to the Region Connection Calculus. Theoret. Comput. Sci. 255:2001;63-83.
11. Egenhofer M., Franzosa R. Point set topological relations. Internat. J. Geograph. Inform. Syst. 5:1991;161-174.
12. Egenhofer M.J. A formal definition of binary topological relationships. Litwin W., Schek H.-J. Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms. 1989;457-473.
13. Egenhofer M.J. Reasoning about binary topological relationships. Proceedings of SSD-91. 1991;143-160.
14. Faltings B. Qualitative spatial reasoning using algebraic topology. Proceedings of COSIT-95. Lecture Notes in Comput. Sci. Vol. 988:1995;Springer, Berlin.
15. Frank A.U. Qualitative spatial reasoning about distances and directions in geographic space. J. Vis. Languages and Computing. 3:1992;343-371.
16. Frank A.U. Qualitative spatial reasoning: Cardinal directions as an example. Internat. J. GIS. 10:(3):1996;269-290.
17. Freksa C. Using orientation information for qualitative spatial reasoning. Proceedings of COSIT-92. Lecture Notes in Comput. Sci. Vol. 639:1992;162-178 Springer, Berlin.
18. Goyal R., Egenhofer M.J. The direction-relation matrix: A representation for directions relations between extended spatial objects. The Annual Assembly and the Summer Retreat of University Consortium for Geographic Information Systems Science. 1997.
19. Goyal R., Egenhofer M.J. Cardinal directions between extended spatial objects. IEEE Trans. Data Knowledge Engrg. 2000;. Available at http://www.spatial.maine.edu/̃max/RJ36.html.
20. Goyal R., Egenhofer M.J. Consistent queries over cardinal directions across different levels of detail. Proceedings of the 11th International Workshop on Database and Expert Systems Applications. 2000.
21. Grigni M., Papadias D., Papadimitriou C. Topological inference. Proceedings of IJCAI-95, Montreal, Quebec. 1995.
22. Isli A., Cohn A.G. A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artificial Intelligence. 122:2000;137-187.
23. Kanellakis P.C., Kuper G.M., Revesz P.Z. Constraint query languages. J. Comput. System Sci. 51:1995;26-52.
24. Koubarakis M. The complexity of query evaluation in indefinite temporal constraint databases. Lakshmanan L.V.S. Theoret. Comput. Sci. (Special issue on Uncertainty in Databases and Deductive Systems). 171:1997;25-60.
25. Ligozat G. Reasoning about cardinal directions. J. Vis. Languages and Computing. 9:1998;23-44.
26. Ligozat G. When tables tell it all: Qualitative spatial and temporal reasoning based on linear ordering. Proceedings of COSIT-01. Lecture Notes in Comput. Sci. Vol. 2205:2001;60-75 Springer, Berlin.
27. Lipschutz S. Set Theory and Related Topics. 1998;McGraw Hill, New York.
28. Li S., Ying M. Region connection calculus: Its models and composition table. Artificial Intelligence. 145:2003;121-146.
29. Mukerjee A., Joe G. A qualitative model for space. Proceedings of AAAI-90, Boston, MA. 1990;721-727.
30. Nebel B., Bürckert H.-J. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. J. ACM. 42:(1):1995;43-66.
31. Papadias D., Arkoumanis N., Karacapilidis N. On the retrieval of similar configurations. Proceedings of 8th International Symposium on Spatial Data Handling (SDH). 1998.
32. D. Papadias, Relation-based representation of spatial knowledge. PhD Thesis, Department of Electrical and Computer Engineering, National Technical University of Athens, 1994.
33. Papadimitriou C.H., Suciu D., Vianu V. Topological queries in spatial databases. J. Comput. System Sci. 58:(1):1999;29-53.
34. Papadias D., Theodoridis Y., Sellis T., Egenhofer M.J. Topological relations in the world of minimum bounding rectangles: A study with R-trees. Proceedings of ACM SIGMOD-95. 1995;92-103.
35. Randell D.A., Cohn A., Cui Z. Computing transitivity tables: A challenge for automated theorem provers. Proceedings of CADE-92. Lecture Notes in Comput. Sci. Vol. 607:1992;786-790.
36. Randell D.A., Cui Z., Cohn A. A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92). 1992;Morgan Kaufmann, San Mateo, CA.
37. Renz J. Maximal tractable fragments of the region connection calculus: A complete analysis. Proceedings of IJCAI-99, Stockholm, Sweden. 1999.
38. Renz J., Nebel B. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence. 108:(1-2):1999;69-123.
39. Skiadopoulos S., Koubarakis M. Composing cardinal directions relations. Proceedings of the 7th International Symposium on Spatial and Temporal Databases (SSTD'01). Lecture Notes in Comput. Sci. Vol. 2121:2001;299-317 Springer, Berlin.
40. Skiadopoulos S., Koubarakis M. Qualitative spatial reasoning with cardinal directions. Proceedings of the 7th International Conference on Principles and Practice of Constraint Programing (CP'02). Lecture Notes in Comput. Sci. Vol. 2470:2002;341-355 Springer, Berlin.
41. Sistla A.P., Yu C., Haddad R. Reasoning about spatial relationships in picture retrieval systems. Proceedings of VLDB-94. 1994;570-581.
42. Tarski A. On the calculus of relations. J. Symbolic Logic. 6:1941;73-89.
43. Tarski A., Givant S. A Formalization of Set Theory without Variables. Colloquium Publications. Vol. 41:1987;American Mathematical Society, Providence, RI.
44. Zimmermann K. Enhancing qualitative spatial reasoning - Combining orientation and distance. Proceedings of COSIT-93. Lecture Notes in Comput. Sci. Vol. 716:1993;69-76 Springer, Berlin.