Re: [sdw] time-prov: Drop alignment axioms that lead to deprecated property (#1428)

@ajnelson-nist You have pushed me well beyond my comfort zone. But if I understand correctly, the property chain would require OWL Full, which means some queries could be undecidable, which does not seem right for (simple) reasoning about time. I have been applying "when in doubt, cut it out" which may not be sensible. I need the other reviewers to jump in. 

-- 
GitHub Notification of comment by chris-little
Please view or discuss this issue at https://github.com/w3c/sdw/pull/1428#issuecomment-1979696759 using your GitHub account


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

Received on Tuesday, 5 March 2024 21:50:52 UTC