- From: Simon Cox via GitHub <sysbot+gh@w3.org>
- Date: Thu, 05 Sep 2024 14:26:10 +0000
- To: public-sdwig@w3.org
Thank you @giacomociti for your interest in OWL-Time. And thanks a lot for introducing us to Notation-3 rules. This looks like a perfect application. Concerning your question: the textual version of the rule says > the end of T1 is before the end of T2 Your Notation-3 implementation of that is > ` ?E1 :before ?E2 .` These appear to be fully consistent to me. Am I misunderstanding your concern? -- GitHub Notification of comment by dr-shorthair Please view or discuss this issue at https://github.com/w3c/sdw/issues/1442#issuecomment-2331829788 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 5 September 2024 14:26:11 UTC