From 78faa9f4333ad738a086138ce52f7d2112aaa9f1 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Mon, 26 Jun 2023 14:25:41 -0400 Subject: [PATCH] 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 --- time/rdf/time-prov.ttl | 3 --- 1 file changed, 3 deletions(-) diff --git a/time/rdf/time-prov.ttl b/time/rdf/time-prov.ttl index f2ef08c5c..538cbde67 100644 --- a/time/rdf/time-prov.ttl +++ b/time/rdf/time-prov.ttl @@ -13,9 +13,6 @@ @prefix time-prov: . @prefix xsd: . -time:inXSDDateTimeStamp - rdfs:subPropertyOf time:inXSDDateTime ; -. rdf:type owl:Ontology ; dc:creator "Simon J D Cox" ;