[sdw] RIF rules for OWL-Time (#1236)

dr-shorthair has just created a new issue for https://github.com/w3c/sdw:

== RIF rules for OWL-Time ==
Many (all?) of the interval relations in [OWL-Time](https://www.w3.org/TR/vocab-owl-time-rel/#fig-allen-relations) could be expressed as Rules. 

For example [interval after](https://www.w3.org/TR/owl-time/#time:intervalAfter) is defined "_If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2._" and [time disjoint](https://www.w3.org/TR/vocab-owl-time-rel/#time:disjoint) as "_If a temporal entity T1 is disjoint with another temporal entity T2, then the beginning of T1 is after the end of T2, or the end of T1 is before the beginning of T2, i.e. the two entities do not overlap or coincide in any way, but their ordering relationship is not known._" 

These look like a good candidate for formalization using RIF. 




Please view or discuss this issue at https://github.com/w3c/sdw/issues/1236 using your GitHub account


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

Received on Monday, 4 January 2021 23:35:29 UTC