Representing and Reasoning about Changing Spatial Extensions of Geographic Features

This paper presents a

logical framework

for representing and reasoning about

events

and

processes

which are characterised by changes in the spatial extension of geographic features. This work addresses some crucial (and still open) issues on the modelling of geographic dynamics, such as how to represent the relationship between events, processes and geographic features and how to relate event and process

types

to their particular

instances

; how to handle spatial and temporal

vagueness

to associate specific spatio-temporal boundaries with events and process instances; and how to provide a flexible representation which can be applied to distinct geographic phenomena as well as which can accommodate different

standpoints

on these phenomena. Particular focus is placed on phenomena which can be identified from spatio-temporal data of the geographic domain, and therefore a discussion is given on the way the logical framework can be linked to data. Finally, we present a system prototype implemented to experiment the proposed logical framework with real data.