- From: Simon Cox via GitHub <sysbot+gh@w3.org>
- Date: Wed, 25 Sep 2024 02:45:42 +0000
- To: public-sdwig@w3.org
OK - I think I see the issue you are raising here now. The two formulations are attempting to say the same thing, but the logical inference is inverted. Since the logic is tied to the predicate (`starts` in this case) then I guess I prefer the second version "T1 starts T2 implies end of T1 before the end of T2". Is it possible to re-cast the N3 rule that way? -- GitHub Notification of comment by dr-shorthair Please view or discuss this issue at https://github.com/w3c/sdw/issues/1442#issuecomment-2372778481 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 25 September 2024 02:45:43 UTC