Next: Primitive Objects Up: Formal Specification of Previous: Formal Specification of
The specification of PJ uses four topological or spatial relations. This is a subset of a spatial logic proposed by Clementini et al. . 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.