changed hasSpatialDirectPart from functional to inverse functional
changed hasTemporalDirectPart from functional to inverse functional
changed hasSpatioTemporalDirectPart from functional to inverse functional
made hasSpatialRest a subproperty of hasSpatialDirectPart
made hasTemporalRest a subproperty of hasTemporalDirectPart
removed hasRest
made all the hasNext and hasRest relations to functional
Unresolved Issue: in arrangements and sequences is the reasoner able to identify all elements, but the last, as elements. This asymmetry can be solved in two different ways:
introduce hasSpatialPrevious/hasTemporalPrevious defined as the inverse of hasSpatialNext/hasTemporalNext
introduce SpatialNil and TemporalNil
The second solution follows the RDF and LISP standards, but the physical interpretation is not straight forward.
Unresolved Issue: in arrangements and sequences is the reasoner able to identify all elements, but the last, as elements. This asymmetry can be solved in two different ways:
The second solution follows the RDF and LISP standards, but the physical interpretation is not straight forward.