[sdw] new commits pushed by dr-shorthair

The following commits were just pushed by dr-shorthair to https://github.com/w3c/sdw:

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

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.

References:
* https://www.w3.org/TR/2022/CRD-owl-time-20221115/#time:inXSDDateTime

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
  by Alex Nelson
https://github.com/w3c/sdw/commit/78faa9f4333ad738a086138ce52f7d2112aaa9f1

* Merge pull request #1429 from ajnelson-nist/time-prov-datatype-conflict

time-prov: Drop subproperty axiom that leads to datatype conflict. 
Relationship is given in XML Schema Datatypes and does not need to be re-iterated in RDFS.
  by Simon Cox
https://github.com/w3c/sdw/commit/59106734579b59dbd2535f4edc23a65ee449c449



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 26 August 2025 02:50:51 UTC