Qualitative and Topological Relationships
暂无分享,去创建一个
In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigor-ousness, clear semantics and sound inference mechanism. We also show how the formalism can be extended to include orientation and metrical information. Comparisons with other formalisms are discussed.
[1] Anthony G. Cohn,et al. Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.
[2] Christopher J. Rawlings,et al. Reasoning about protein topology using the logic programming language PROLOG , 1985 .
[3] Anthony G. Cohn,et al. An Interval Logic for Space Based on "Connection" , 1992, ECAI.