Combining Topological and Cardinal Directional Relation Information in Qualitative Spatial Reasoning

作者: Haibin Sun , Wenhui Li

DOI: 10.1007/3-211-27389-1_15

关键词: Spatial intelligenceConsistency (database systems)Theoretical computer scienceComputer scienceSpatial knowledgeRelation (database)Knowledge representation and reasoningData miningCardinal directionConstraint satisfaction problem

摘要: Combining different knowledge representation languages is one of the main topics in Qualitative Spatial Reasoning (QSR). In this paper, we combine well known RCC8 calculus (RCC8) and cardinal direction (CDC) based on regions give interaction tables for two calculi. The can be used as a tool solving constraint satisfaction problems (CSP) consistency checking procedure QSR combined spatial knowledge.

参考文章(7)
D. A. Randell, A. G. Cohn, Z. Cui, Computing Transivity Tables: A Challenge For Automated Theorem Provers conference on automated deduction. pp. 786- 790 ,(1992) , 10.1007/3-540-55602-8_225
Max J. Egenhofer, A Formal Definition of Binary Topological Relationships FOFO '89 Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms. pp. 457- 472 ,(1989) , 10.1007/3-540-51295-0_148
Spiros Skiadopoulos, Manolis Koubarakis, Composing cardinal direction relations Artificial Intelligence. ,vol. 152, pp. 143- 171 ,(2004) , 10.1016/S0004-3702(03)00137-1
Alfonso Gerevini, Jochen Renz, Combining topological and size information for spatial reasoning Artificial Intelligence. ,vol. 137, pp. 1- 42 ,(2002) , 10.1016/S0004-3702(02)00193-5
Serafino Cicerone, Paolino Di Felice, Cardinal directions between spatial objects: the pairwise-consistency problem Information Sciences. ,vol. 164, pp. 165- 188 ,(2004) , 10.1016/J.INS.2003.05.008
MAX J. EGENHOFER, ROBERT D. FRANZOSA, Point-set topological spatial relations International Journal of Geographic Information Systems. ,vol. 5, pp. 161- 174 ,(1991) , 10.1080/02693799108927841