next up previous
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.

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