next up previous
Next: PJ Elements Up: Formal Specification of Previous: Spatial Relationships

Some Definitions

In this paper, we use the following notation expressing constraints about the existence of PJ elements. This notation is adopted from the DL community. The meaning of these notations is that there may exist at least (at most, exactly) n different PJ elements such that p() holds.

The definitions for `at most' and `exactly' are identical except that for `at most' and for `exactly' m = n has to hold.

Furthermore, we assume the following basic predicates for primitive objects:

The unary predicates for primitive objects are used to define auxiliary predicates:

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