Reasoning about Propagation of Properties over Regions
Дата
Авторы
Takahashi,Kazuko
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
qualitative spatial reasoning , RCC , GIS , semantic data