- From: Alex Nelson via GitHub <sysbot+gh@w3.org>
- Date: Mon, 26 Jun 2023 18:54:32 +0000
- To: public-sdwig@w3.org
ajnelson-nist has just submitted a new pull request for https://github.com/w3c/sdw: == 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. See https://github.com/w3c/sdw/pull/1428 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 26 June 2023 18:54:34 UTC