JUCS - Journal of Universal Computer Science 9(9): 1030-1045, doi: 10.3217/jucs-009-09-1030
Reasoning about Propagation of Properties over Regions
expand article infoKazuko Takahashi‡
‡ School of Science and Technology, Kwansei Gakuin University, Japan

Corresponding author: Kazuko Takahashi ( ktaka@kwansei.ac.jp )

© Kazuko Takahashi.
This article is freely available under the J.UCS Open Content License.
Citation: Takahashi K (2003) Reasoning about Propagation of Properties over Regions. JUCS - Journal of Universal Computer Science 9(9): 1030-1045. https://doi.org/10.3217/jucs-009-09-1030
Open Access
Abstract
We discuss how a property of some region is propagated to other regions. We propose a system called SRCC that enables the integration of spatial and semantic data. SRCC can represent the relative positions of regions, properties that hold in some regions, semantic relation between regions, and so on. We define the model and describe an algorithm that checks for the existence of a model for a given set of formulas based on this model. We prove the soundness and completeness of the algorithm and apply it to an example that inspects the causality of contamination in 2D space.
Keywords
qualitative spatial reasoning, RCC, GIS, semantic data