Reasoning on Spatial Constraints over Regions

Kazuko Takahashi

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 reason 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 specific region and general propagation rules for an arbitrary region. Moreover, we revise our algorithm that checks for the unsatisfiability of a given set of formulas, so that it can derive 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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.