On the consistency of cardinal direction constraints

Artificial Intelligence

Volumn 163, Issue 1, 2005, Pages 91-135

  Skiadopoulos, Spiros ^a   Koubarakis, Manolis ^b  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b TECHNICAL UNIVERSITY OF CRETE   (Greece)

Author keywords

Cardinal direction relations; Consistency checking; Qualitative spatial reasoning; Spatial constraints

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; MULTIMEDIA SYSTEMS; PROBLEM SOLVING; TOPOLOGY;

CARDINAL DIRECTION RELATIONS; CONSISTENCY CHECKING; QUALITATIVE SPATIAL REASONING; SPATIAL CONSTRAINTS;

CONSTRAINT THEORY;

EID: 12344305634     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.10.010     Document Type: Article

References (48)

1. A.I. Abdelmoty, and B.A. El-Geresy An intersection-based formalism for representing orientation relations in a geographic database Proceedings of 2nd ACM Conference on Advances in GIS Theory 1994
2. J.F. Allen Maintaining knowledge about temporal intervals Comm. ACM 26 11 1983 832 843
3. P. Balbiani, J-F. Condotta, and L.F. del Cerro A new tractable subclass of the rectangle algebra Proceedings of IJCAI'99, Stockholm, Sweden 1999 442 447
4. A. Berretti, A. Del Bimbo, and E. Vicario Modeling spatial relationships between color sets Proceedings of IEEE Workshop on Content-based Access of Image and Video Libraries (CVPR-2000) 2000
5. B. Bennett, Logical representations for automated reasoning about spatial relations, PhD Thesis, School of Computer Studies, University of Leeds, 1997
6. Z. Cui, A.G. Cohn, and D.A. Randell Qualitative and topological relationships in spatial databases Proceedings of SSD'93 1993 296 315
7. E. Clementini, P. Di Fellice, and G. Califano Composite regions in topological queries Inform. Syst. 7 1995 594 759
8. E. Clementini, P. Di Fellice, and D. Hernandez Qualitative representation of positional information Artificial Intelligence 95 1997 317 356
9. W.G. Chinn, and N.E. Steenrod First Concepts of Topology 1966 The Mathematical Association of America
10. E. Davis Representations of Commonsense Knowledge 1990 Morgan Kaufmann San Mateo, CA
11. J.P. Delgrande, A. Gupta, and T. Van Allen Point based approaches to qualitative temporal reasoning Proceedings of the AAAI'99, Orlando, FL 1999 739 744
12. M.J. Egenhofer Reasoning about binary topological relationships Proceedings of SSD'91 1991 143 160
13. B. Faltings Qualitative spatial reasoning using algebraic topology Proceedings of COSIT'95 Lecture Notes in Comput. Sci. vol. 988 1995 Springer Berlin 17 30
14. A.U. Frank Qualitative spatial reasoning about distances and directions in geographic space J. Visual Languages Comput. 3 1992 343 371
15. C. Freksa Using orientation information for qualitative spatial reasoning Proceedings of COSIT'92 Lecture Notes in Comput. Sci. vol. 639 1992 Springer Berlin 162 178
16. R. Goyal, and M.J. Egenhofer 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
17. R. Goyal, M.J. Egenhofer, Cardinal directions between extended spatial objects, IEEE Trans. Data Knowledge Engrg., in press. Available at http://www.spatial.maine.edu/~max/RJ36.html
18. R. Goyal, and M.J. Egenhofer Consistent queries over cardinal directions across different levels of detail Proceedings of the 11th International Workshop on Database and Expert Systems Applications 2000
19. M. Grigni, D. Papadias, and C. Papadimitriou Topological inference Proceedings of IJCAI'95, Montreal, Quebec 1995
20. H.W. Guesgen, Spatial reasoning based on Allen's temporal logic, Technical Report TR-89-049, International Science Institute National Technical, Berkeley, 1989
21. P. Jonsson, and T. Drakengren A complete classification of tractability in RCC-5 J. Artificial Intelligence Res. 6 1997 211 221
22. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz Constraint query languages J. Comput. System Sci. 51 1995 26 52
23. M. Koubarakis The complexity of query evaluation in indefinite temporal constraint databases L.V.S. Lakshmanan Theoret. Comput. Sci. 171 1997 25 60 Special Issue on Uncertainty in Databases and Deductive Systems
24. M. Koubarakis, and S. Skiadopoulos Querying temporal and spatial constraint networks in PTIME Artificial Intelligence 123 1-2 2000 223 263
25. G. Ligozat Reasoning about cardinal directions J. Visual Languages Comput. 9 1998 23 44
26. S. Lipschutz General Topology 1965 McGraw Hill New York
27. S. Lipschutz Set Theory and Related Topics 1998 McGraw Hill New York
28. D.M. Mark, C. Freksa, S.C. Hirtle, R. Lloyd, and B. Tversky Cognitive models of geographic space Internat. J. Geograph. Inform. Sci. 13 8 1999 747 774
29. A. Mukerjee, and G. Joe A qualitative model for space Proceedings of AAAI'90, Boston, MA 1990 721 727
30. B. Nebel, and H.-J. Bürckert Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra J. ACM 42 1 1995 43 66
31. D. Papadias, N. Arkoumanis, and N. Karacapilidis 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. C.H. Papadimitriou Computational Complexity 1994 Addison Wesley Reading, MA
34. J. Portugali, and I. Omer Systematic distortions in cognitive maps: the North American west coast vs. the (west) coast of Israel Proceedings of COSIT'03 Lecture Notes in Comput. Sci. vol. 2825 2003 Springer Berlin 93 100
35. C.H. Papadimitriou, D. Suciu, and V. Vianu Topological queries in spatial databases J. Comput. System Sci. 58 1 1999 29 53
36. D.A. Randell, Z. Cui, and A. Cohn A spatial logic based on regions and connection Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92), Cambridge, MA 1992 Morgan Kaufmann San Mateo, CA
37. J. Renz Maximal tractable fragments of the region connection calculus: a complete analysis Proceedings of IJCAI'99, Stockholm, Sweden 1999 448 455
38. J. Renz, and B. Nebel On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus Artificial Intelligence 1-2 1999 95 149
39. S. Skiadopoulos, and M. Koubarakis Qualitative spatial reasoning with cardinal directions: semantics, algorithms and computational complexity Technical Report TR-2000-3, National Technical University of Athens, 2000. Available at http://www.dblab.ece.ntua.gr/publications
40. S. Skiadopoulos, and M. Koubarakis 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 Springer Berlin 299 317
41. S. Skiadopoulos, and M. Koubarakis Qualitative spatial reasoning with cardinal directions Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP'02) Lecture Notes in Comput. Sci. vol. 2470 2002 Springer Berlin 341 355
42. S. Skiadopoulos, and M. Koubarakis Composing cardinal direction relations Artificial Intelligence 152 2 2004 143 171
43. S. Skiadopoulos, Query evaluation in constraint databases, PhD Thesis, School of Electrical and Computer Engineering, National Technical University of Athens, 2002
44. A.P. Sistla, C. Yu, and R. Haddad Reasoning about spatial relationships in picture retrieval systems Proceedings of VLDB'94 1994 570 581
45. B. Tversky Distortions in memory for maps Cognitive Psychology 13 1981 407 433
46. P. van Beek Reasoning about qualitative temporal information Artificial Intelligence 58 1992 297 326
47. M. Vilain, H. Kautz, and P. van Beek Constraint propagation algorithms for temporal reasoning: a revised report D.S. Weld J. de Kleer Readings in Qualitative Reasoning about Physical Systems 1989 Morgan Kaufmann San Mateo, CA 73 381
48. K. Zimmermannm Enhancing qualitative spatial reasoning - combining orientation Proceedings of COSIT'93 Lecture Notes in Comput. Sci. vol. 716 1993 Springer Berlin 69 76