next up previous
Next: Some Definitions Up: Spatial Logic Previous: Primitive Objects

Spatial Relationships


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.

Figure 3: Spatial relations

Volker Haarslev
Wed Jan 31 15:50:43 MET 1996