Abstract:The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC assumes a continuous representation of space. This contrasts sharply with the fact that spatial information obtained from physical recording devices is nowadays invariably digital in form and therefore implicitly uses a discrete representation of space. Recently, Galton developed a theory of discrete space that parallels RCC, but question still lies in that can we have a theory of qualitative spatial reasoning admitting models of discrete spaces as well as continuous spaces? In this paper we aim at establishing a formal theory which accommodates both discrete and continuous spatial information, and a generalization of Region Connection Calculus is introduced. GRCC, the new theory, takes two primitives: the mereological notion of part and the topological notion of connection. RCC and Galton's theory for discrete space are both extensions of GRCC. The relation between continuous models and discrete ones is also clarified by introducing some operations on models of GRCC. In particular, we propose a general approach for constructing countable RCC models as direct limits of collections of finite models. Compared with standard RCC models given rise from regular connected spaces, these countable models have the nice property that each region can be constructed in finite steps from basic regions. Two interesting countable RCC models are also given: one is a minimal RCC model, the other is a countable sub-model of the continuous space R^2.

Representation And Reasoning Of Topological Relations Between Enclave And Exclave Regions

A Model for Representing and Reasoning of Spatial Relations Between Simple Concave Regions

A Model for Representing Topological Relations Between Simple Concave Regions

Representation and reasoning for topological relations between a region with broad boundaries and a simple region on the basis of RCC-8

Representation of Spatial Relations Based on Region Extension and Shrinking Calculus

Representation for topological relations between a concave region and two simple regions

A new model for topological relations between convex regions.

Representation for Topological Relations of Four Simple Regions

Representation Model of Topological Relationship among Three Simple Regions

Relational reasoning in the region connection calculus

Reasoning about topological relations between regions with broad boundaries

Generalized Region Connection Calculus

Relational reasoning in Region Connection Calculus

Multi-Dimensional Extension for Region Connection Calculus in Qualitative Spatial Reasoning

A Spatial Topological Relation Model for Discrete Space

Research of the representation and reasoning for topological relations between two concave regions

Extensive Representation and Realization of Spatial Topological Relation Based on SRC-Ontology

Representaion of Topological Relations between Vague Objects Based on Rough and RCC Model

A Model of Reasoning and Application for the Topological Relation Among Three Simple Regions

The Topological Relation Model Between a Double Nesting Region and a Simple Region

Efficiently Computing and Deriving Topological Relation Matrices Between Complex Regions with Broad Boundaries