Re: [sdw] Notation-3 and rule direction (#1442)

@dr-shorthair the N3 rule may be shortly paraphrased as:
"end of T1 before end of T2 (and same start) implies T1 starts T2" 

while the spec says:
"T1 starts T2 implies end of T1 before the end of T2"

that's why it seems like one is the logical converse of the other instead of being equivalent

-- 
GitHub Notification of comment by giacomociti
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1442#issuecomment-2337529077 using your GitHub account


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

Received on Monday, 9 September 2024 08:55:48 UTC