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.