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 in particular see 

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 using your GitHub account

Sent via github-notify-ml as configured in

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