Combinative reasoning with RCC5 and cardinal direction relations

  • Authors:

  • Juan Chen;Dayou Liu;Changhai Zhang;Qi Xie

  • Affiliations:

  • College of Computer Science and Technology, Jilin University, Changchun, China and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Chan ...;College of Computer Science and Technology, Jilin University, Changchun, China and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Chan ...;College of Computer Science and Technology, Jilin University, Changchun, China and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Chan ...;College of Computer Science and Technology, Jilin University, Changchun, China and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Chan ...

  • Venue:
  • KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is inadequate considering only one aspect of spatial information in practical problems, where several aspects are usually involved together. Reasoning with multi-aspect spatial information has become the focus of qualitative spatial reasoning. Most previous works of combing topological and directional information center on the combination with MBR based direction model or single-tile directions. The directional description is too approximate to do precise reasoning. Different from above, cardinal direction relations and RCC5 are introduced to represent directional and topological information. We investigate the mutual dependencies between basic relations of two formalisms, discuss the heterogeneous composition and give the detail composing rules. Then point out that only checking the consistency of topological and directional constraints before and after entailing by the constraints of each other respectively will result mistakes. Based on this, an improved constraint propagation algorithm is presented to enforce path consistency. And the computation complexities of checking the consistency of the hybrid constraints over various subsets of RCC5 and cardinal direction relations are analyzed at the end.