Region Connection Calculus

From QUAIL

The Region Connection Calculus (RCC) serves for qualitative spatial representation and reasoning. RCC abstractly describes regions (in Euclidian space, or in a topological space) by their possible relations to each other. It was first described by Randell, Cui and Cohn in 1992.^[1] It is known that RCC only has weak-composition, but path-consistency in its atomic networks entails realizability.

RCC Axioms

1.

2.

3.

4.

5.

6.

7.

8.

Models

There are many variants of RCC. The most well-known is RCC8, reasoning about generalised regions of 2D space. Others include RCC5, which do not make distinctions between tangential proper parts; RCC7, which do not allow partial-overlap of regions; and RCC23 which reasons about concave regions.

References

1. ↑ "Randell, Cui and Cohn. "A spatial logic based on regions and connection. In KR-92, pages 165-176, 1992.