Region Connection Calculus 5

Description

Region Connection Calculus (RCC) [1] [2] is intended to serve for qualitative spatial representation and reasoning. RCC abstractly describes regions (in Euclidean space, or in a topological space) by their possible relations to each other.

RCC5 consists of 5 basic relations that are possible between two regions; it is a stripped down version of RCC8. The mapping from RCC8 to RCC5 can be seen below:

RCC8	RCC5
dc	dr
ec
po	po
tpp	pp
ntpp
eq	eq
tppi	ppi
ntppi

Relations

All the possible RCC5 relations between a blue object X and a red object Y are:

Relation	Illustration	Interpretation
X dr Y		X is discrete from Y.
X po Y		X is partially overlapping Y.
X pp Y		X is a proper part of Y.
X eq Y		X is equal to Y.
X ppi Y		X is a proper part inverse of Y.

API

The API can be found here.

References

[1]	Randell, D. A., Cui, Z. and Cohn, A. G.: A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165–176, 1992. (link)

[2]	Anthony G. Cohn, Brandon Bennett, John Gooday, Micholas Mark Gotts: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. GeoInformatica, 1, 275–316, 1997.