Abstract

Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predicates with spatial entities (Joan Smith owns the field). Formal models of spatial information are concerned with the question of how the structure of space is related to inferences about spatial information. Therefore, in addition to formal models of the structure of space, formal models of the interrelation between thematic information and spatial entities have to be developed. This article addresses the relation between regions and thematic information. It presents a calculus of spatial predicators that is coping with qualitative distinctions, i.e., the mereological and topological structure of space. The spatial structure is given by the Closed Region Calculus, which provides the same terminology as RCC, but has finite models. The spatial predication calculus specifies the interaction of the spatial structure with the thematic information and provides a flexible tool for the representation of and inferences on spatial information.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.