Time Ontology: suspected error in alignment with Prov

Hi all,

I suspect there is an error in section 5.7 of the Time ontology: Alignment
of PROV-O with OWL-Time (https://www.w3.org/TR/owl-time/#time-prov).

This section states:

> The prov:atTime property of an prov:InstantaneousEvent is directly related
> to :inXSDDateTimeStamp.
> prov:atTime rdfs:subPropertyOf time:inXSDDateTimeStamp .


However, PROV-O defines prov:atTime as

> :atTime rdfs:range xsd:dateTime .


While OWL-Time defines time:timeinXSDDateTimeStamp as:

>  :inXSDDateTimeStamp rdfs:range xsd:dateTimeStamp .


Since prov:atTime is defined as the sub property, but has a broader domain,
I believe this is an error.

Best regards,
Dieter De Paepe


Ghent University - imec
IDLab
iGent Tower - Department of Electronics and Information Systems
Sint-Pietersnieuwstraat 41, B-9000 Ghent, Belgium