A rule system for heterogeneous spatial reasoning in geographic information system

Authors:
Haibin Sun;Wenhui Li
Affiliations:
Key Laboratory of Symbol Computation and Knowledge, Engineering of the Ministry of Education, College of Computer Science and Technology, Jilin University, Changchun, China;Key Laboratory of Symbol Computation and Knowledge, Engineering of the Ministry of Education, College of Computer Science and Technology, Jilin University, Changchun, China
Venue:
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Year:
2005

Citing 8
Cited 0

A formal definition of binary topological relationships

3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
Maintaining knowledge about temporal intervals

Communications of the ACM
Combining topological and size information for spatial reasoning

Artificial Intelligence
Reasoning About Spatial Relationships in Picture Retrieval Systems

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Computing Transivity Tables: A Challenge For Automated Theorem Provers

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Integrated spatial reasoning in geographic information systems: combining topology and direction

Integrated spatial reasoning in geographic information systems: combining topology and direction
Composing cardinal direction relations

Artificial Intelligence
Cardinal directions between spatial objects: the pairwise-consistency problem

Information Sciences—Informatics and Computer Science: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article, we investigate the hybrid spatial reasoning problem in geographic information system, which can be formulated as a hybrid formalism, which combines two essential formalisms in qualitative spatial reasoning: topological formalism and cardinal direction formalism. Although much work has been done in developing composition tables for these formalisms, the previous research for integrating heterogeneous formalisms was not sufficient. Instead of using conventional composition tables, we investigate the interactions between topological and cardinal directional relations with the aid of rules that are used efficiently in many research fields such as content-based image retrieval. These rules are shown to be sound, i.e. the deductions are logically correct. Based on these rules, an improved constraint propagation algorithm is introduced to enforce the path consistency.