search

w3c / sdw

Repository for the Spatial Data on the Web Working Group
https://www.w3.org/2020/sdw/
149 stars 81 forks source link

time-prov: Drop subproperty axiom that leads to datatype conflict #1429

Open ajnelson-nist opened 1 year ago

ajnelson-nist commented 1 year ago

The file time-prov.ttl provides a non-normative alignment between OWL-Time and PROV-O. One of the included suggestions is an alignment of the time:inXSDDateTimeStamp with the currently-deprecated property time:inXSDDateTime.

This patch drops that suggested alignment, for two reasons:

  1. Entailment, in both RDFS and OWL semantics, would cause any usage of time:inXSDDateTimeStamp to induce usage of time:inXSDDateTime in the graph, which could raise OWL warnings about usage of a deprecated property.
  2. A triple X time:inXSDDateTimeStamp Y would be required by the range of time:inXSDDateTimeStamp to have Y bear the datatype xsd:dateTimeStamp. Entailment, in both RDFS and OWL semantics, would induce a triple X time:inXSDDateTime Y, with the same subject and object as in the original triple. The literal Y would have an incompatible datatype with the range of the induced time:inXSDDateTime triple, because a second datatype could not be assigned to it per RDF design.

This contribution is made only by myself, and is not being made by the National Institute of Standards and Technology or any other organization.

dr-shorthair commented 1 year ago

The XML Schema Datatypes rec specifies that xsd:dateTimeStamp is a specialization of xsd:dateTime, requiring the optional time-zone information to be present. Doesn't that resolve the problem?

Also see #1421