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.

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

A Model for Representing Topological Relations Between Simple Concave Regions

A new model for topological relations between convex regions.

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

Representation Model of Topological Relationship among Three Simple Regions

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

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

Representation for Topological Relations of Four Simple Regions

Representation And Reasoning Of Topological Relations Between Enclave And Exclave Regions

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

A Spatial Topological Relation Model for Discrete Space

Representation of Spatial Relations Based on Region Extension and Shrinking Calculus

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

Topological relations between a region with two holes and a simple region

Relational reasoning in the region connection calculus

A model for combining topological and directional relations

Generalized Region Connection Calculus

Combinative Reasoning With Rcc5 And Cardinal Direction Relations

On Countable RCC Models

Representation of Topological Relations Between a Hollow Region and a Simple Region

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