- From: Giacomo Citi via GitHub <sysbot+gh@w3.org>
- Date: Wed, 25 Sep 2024 07:24:58 +0000
- To: public-sdwig@w3.org
we may re-cast the N3 rule as:
```turtle
{
?T1 a time:ProperInterval ; time:hasBeginning ?B1 ; time:hasEnd ?E1 .
?T2 a time:ProperInterval ; time:hasBeginning ?B2 ; time:hasEnd ?E2 .
?T1 time:intervalStarts ?T2 .
}
=>
{
?B1 time:equals ?B2 .
?E1 time:before ?E2 .
} .
```
and maybe there are use cases in which such a rule would be useful.
Still, it would be interesting to know whether the other rule is correct wrt the semantics of OWL-Time. I guess it is since it derives all the axioms in the test suite, but I'm asking here just to be sure
--
GitHub Notification of comment by giacomociti
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1442#issuecomment-2373266478 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 07:24:59 UTC