Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays
نویسندگان
چکیده
Symbolic arrays are hierarchical constraint-based representations that preserve direction relations (e.g., north, northeast) among the distinct components of complex spatial entities. They have been used in problems involving pattern matching and spatial information retrieval. In this paper we demonstrate how inference can be achieved in geographic databases of symbolic arrays using composition of direction relations. In particular, we distinguish two types of spatial inference: the first is concerned with the inference of constraints between objects that exist at different levels in the hierarchy, while the second type involves the inference of constraints between objects that exist at the same level but in different arrays.
منابع مشابه
Spatial Reasoning Using Symbolic Arrays
In this paper we have proposed the use of multi-level knowledge representation techniques for Geographic Information Systems. We believe that adopting different levels of representations can significantly improve the functionality and efficiency of a system. Although we have presented symbolic arrays as a medium for organising spatial knowledge, this is by no means the only way for structuring ...
متن کاملSpatial Reasoning Using Symbolic Arrays
In this paper we have proposed the use of multi-level knowledge representation techniques for Geographic Information Systems. We believe that adopting different levels of representations can significantly improve the functionality and efficiency of a system. Although we have presented symbolic arrays as a medium for organising spatial knowledge, this is by no means the only way for structuring ...
متن کاملfdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays
Arrays are ubiquitous in the context of software verification. However, effective reasoning over arrays is still rare in CP, as local reasoning is dramatically ill-conditioned for constraints over arrays. In this paper, we propose an approach combining both global symbolic reasoning and local filtering in order to solve constraint systems involving arrays (with accesses, updates and size constr...
متن کاملA Combined Approach for Constraints over Finite Domains and Arrays
Arrays are ubiquitous in the context of software verification. However, effective reasoning over arrays is still rare in CP, as local reasoning is dramatically ill-conditioned for constraints over arrays. In this paper, we propose an approach combining both global symbolic reasoning and local consistency filtering in order to solve constraint systems involving arrays (with accesses, updates and...
متن کاملField-based Fuzzy Spatial Reasoning Model for Geographical Information Systems: Case of Constraint Satisfaction Problem
Humans’ representation in nature language about geographic phenomena is usually qualitative rather than quantitative. Qualitative spatial reasoning provides an approach which is considered to be closer to the representation. Commercial GIS software are confronted with a challenge that the software should be equipped with artificial intelligent functions like qualitative spatial reasoning for mo...
متن کامل