Region connection calculus

The region connection calculus (RCC) is intended to serve for qualitative spatial representation and reasoning.

For example, proper part (PP) is the union of TPP and NTPP.

The composition table of RCC8 are as follows: Usage example: if a TPP b and b EC c, (row 4, column 2) of the table says that a DC c or a EC c. The RCC8 calculus is intended for reasoning about spatial configurations.

The spatial configuration can be formalized in RCC8 as the following constraint network: Using the RCC8 composition table and the path-consistency algorithm, we can refine the network in the following way: That is, the road either overlaps (PO) property2, or is a tangential proper part of it.

This fact is not obvious, but can be deduced once we examine the consistent "singleton-labelings" of the constraint network.

A graphical representation of Region Connection Calculus (RCC: Randell, Cui and Cohn, 1992) and the links to the equivalent naming by the Open Geospatial Consortium (OGC) with their equivalent URIs.
A graphical representation of Region Connection Calculus (RCC: Randell, Cui and Cohn, 1992) and the links to the equivalent naming by the Open Geospatial Consortium (OGC) with their equivalent URIs.