Reasoning on Spatial Constraints over Regions

We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and rea-son about the propagation or causality of semantic properties that hold for pairs of connected or unconnected regions. We extend SRCC by introducing meta-variables so that it can handle both the propagation of a semantic property for a spe-cific region and general propagation rules for an arbitrary re-gion. Moreover, we revise our algorithm that checks for the unsatisfiability of a given set of formulas, so that it can de-rive the necessary spatial constraints if the set is satisfiable. In the revised algorithm, the relative positional relation over regions is derived a constraint from the properties that hold for a single region or interrelationship over multiple regions. For example, this can be applied to determining where a new building should be built. Key Words: qualitative spatial reasoning, RCC, semantic data, constrain