next up previous
Next: Spatial Logic Up: No Title Previous: PJ's Computational Model

Formal Specification of PJ

Due to lack of space we present simplified versions of our specifications emphasizing the description of language elements. We deliberately left out specifications dealing with connectivity of line segments. In the last subsection we roughly sketch out additional constraints stating more complex interactions between language elements. The reader is referred to [10] for a complete treatment.





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