Re: [sdw] TIME: Suggestions for alignment with PROV-CONSTRAINTS "precedes"? (#1430)

Thanks for the very detailed comment. 

We only used some of the possible OWL axioms, in particular we did not attempt to complete the possible `owl: AsymmetricProperty`, `owl:ReflexiveProperty`, `owl:IrreflexiveProperty`, `owl:FunctionalProperty`,  `owl:InverseFunctionalProperty`. 
Maybe we should have. 

However, the issues you raise may be dealt with in the 'extension' to OWL-Time where we attempted to complete the set of topological relations - see https://www.w3.org/TR/vocab-owl-time-rel/ in particular see https://www.w3.org/TR/vocab-owl-time-rel/#new-relations 

As you will observe, this work, though several years old now, has not progressed past 'Note' status. 
This was partly because we needed more evidence that these additional relations were in fact needed. 
Your comment appears to confirm that they are. 

-- 
GitHub Notification of comment by dr-shorthair
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1430#issuecomment-1609228542 using your GitHub account


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

Received on Tuesday, 27 June 2023 10:28:38 UTC