The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams

The Region Connection Calculus (RCC) is a qualitative spatial reasoning formalism, developed in knowledge representation and geographical information systems. We argue that RCC can be viewed as a more fine-grained approach to the use of Euler diagrams to visualize categorical statements like ‘all A are B’. We present RCC using the syntax of first-order modal logic and a topological semantics. We compare the Gergonne relations (a well-known set of 5 jointly exhaustive and pairwise disjoint relations between two non-empty sets, visualized using Euler-type diagrams) with RCC8 (a similar set of 8 relations for regions).