From 17734da46147edcd7d4c9d686372acf86ba2161b Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Mon, 26 Jun 2023 13:51:51 -0400 Subject: [PATCH] time-prov: Drop alignment axioms that lead to deprecated property 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 `prov:endedAtTime` with `time:inXSDDateTime` via a property chain. Unfortunately, in the current draft of OWL-Time, `time:inXSDDateTime` is deprecated. A similar issue is present for `prov:startedAtTime` and `prov:atTime`. This patch drops alignment axioms that would lead an adopting user to cause their PROV-O data to yield deprecated property usage under OWL entailment. 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://github.com/w3c/sdw/issues/1421 * https://www.w3.org/TR/2022/CRD-owl-time-20221115/#time:inXSDDateTime Signed-off-by: Alex Nelson --- time/rdf/time-prov.ttl | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/time/rdf/time-prov.ttl b/time/rdf/time-prov.ttl index f2ef08c5c..9a510d3eb 100644 --- a/time/rdf/time-prov.ttl +++ b/time/rdf/time-prov.ttl @@ -31,18 +31,3 @@ prov:Activity prov:InstantaneousEvent rdfs:subClassOf time:Instant ; . -prov:atTime - rdfs:subPropertyOf time:inXSDDateTime ; -. -prov:endedAtTime - owl:propertyChainAxiom ( - time:hasEnd - time:inXSDDateTime - ) ; -. -prov:startedAtTime - owl:propertyChainAxiom ( - time:hasBeginning - time:inXSDDateTime - ) ; -.