PROV-ISSUE-588 (strictly-precedes-irreflexive): It is never specified explicitly that "strictly-precedes" is irreflexive [prov-dm-constraints]

PROV-ISSUE-588 (strictly-precedes-irreflexive): It is never specified explicitly that "strictly-precedes" is irreflexive  [prov-dm-constraints]

http://www.w3.org/2011/prov/track/issues/588

Raised by: James Cheney
On product: prov-dm-constraints

A sub-issue of ISSUE-576.

>From Antoine Zimmermann's email:
http://lists.w3.org/Archives/Public/public-prov-comments/2012Oct/0004.html

Section 5.2

It is never specified explicitly that "strictly-precedes" is irreflexive. Therefore, the algorithm given in Section 6.1 for checking validity, which relies on this assumption, provides strictly more information than the definition of validity.

Received on Thursday, 25 October 2012 16:54:28 UTC