** Next:** Some Definitions
**Up:** Spatial Logic
** Previous:** Primitive Objects

Possible relationships between objects are defined by the dimension of intersections between point-sets representing the geometric objects. With this theory seven binary topological relations (touching, overlapping, crossing, containing/inside-of, covering/covered-by, equal, disjoint) can be defined. They are mutually exclusive and cover all possible cases (see [6] for a proof). These relations are (partially) applicable to regions, text strings, lines, arrows, and end points of arrows (see [2]). Figure3 illustrates the four relations that are used for PJ.

Wed Jan 31 15:50:43 MET 1996