Next: Primitive Objects Up: Formal Specification of Previous: Formal Specification of

Spatial Logic

The specification of PJ uses four topological or spatial relations. This is a subset of a spatial logic proposed by Clementini et al. [6]. The advantage of their approach compared to similar approaches is its ability to deal with intersections of lines (i.e. true 1-D objects) and regions. We extended this approach and adapted it to our application domain.

• Primitive Objects
• Spatial Relationships