Region Connection Calculus 8¶
Region Connection Calculus (RCC)   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.
RCC8 consists of 8 basic relations that are possible between two regions.
All the possible RCC8 relations between a blue object X and a red object Y are:
|X dc Y||X is disconnected from Y.|
|X ec Y||X is externally connected to Y.|
|X po Y||X is partially overlapping Y.|
|X tpp Y||X is a tangential proper part of Y.|
|X ntpp Y||X is a non-tangential proper part of Y.|
|X eq Y||X is equal to Y.|
|X tppi Y||X is a tangential proper part inverse of Y.|
|X ntppi Y||X is a non-tangential proper part inverse of Y.|
|||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)|
|||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.|