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:
1) introduce hasSpatialPrevious/hasTemporalPrevious defined as the inverse of hasSpatialNext/hasTemporalNext
2) introduce SpatialNil and TemporalNil
The second solution follows the RDF and LISP standards, but the physical interpretation is not straight forward.
Made the following changes:
annotated most of the mereotopological relations
made disconnected irreflexive
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: 1) introduce hasSpatialPrevious/hasTemporalPrevious defined as the inverse of hasSpatialNext/hasTemporalNext 2) introduce SpatialNil and TemporalNil
The second solution follows the RDF and LISP standards, but the physical interpretation is not straight forward.