Re: [sdw] TIME: Suggestions for alignment with PROV-CONSTRAINTS "precedes"? (#1430)

@dr-shorthair , thank you for the references.  I checked them again, and think I found an answer on whether `time:before` is meant to be strict-`<` or the more-permissive `<=`.  In short:  It seems to mean strict-`<`.

I noticed [`time:disjoint`](https://www.w3.org/TR/vocab-owl-time-rel/#time:disjoint) from the Extensions Note used a could-be-clarifying phrase, boldfaced for emphasis:

> 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.

I appreciate that's a non-normative definition in a Note, but looking for just the words "not overlap" led me to [`time:intervalDisjoint`](https://www.w3.org/TR/2022/CRD-owl-time-20221115/#time:intervalDisjoint) in the current Recommendation, which includes "... the intervals do not overlap in any way".  Checking on the definitions of `time:before` and the illustrations in Figure 2, it appears to me that `time:before` and `time:after` do indeed mean strict-inequality.  Else, `time:intervalDisjoint` could be used on two proper intervals with an overlap of exactly their boundary instants.

So, it seems `time:before` and `time:after` would be worth typing as `owl:IrreflexiveProperty`s as a point of clarification.

It also seems `precedes` from PROV-CONSTRAINTS is a property not currently represented in OWL-TIME or the Extensions Note, but could be done as a parent property of `time:before` and (the Note's) `time:equals`, with appropriate parallels for proper intervals.

-- 
GitHub Notification of comment by ajnelson-nist
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1430#issuecomment-2863755943 using your GitHub account


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

Received on Thursday, 8 May 2025 17:18:09 UTC