ISSUE-588: It is never specified explicitly that "strictly-precedes" is irreflexive
strictly-precedes-irreflexive
It is never specified explicitly that "strictly-precedes" is irreflexive
- State:
- CLOSED
- Product:
- prov-dm-constraints
- Raised by:
- James Cheney
- Opened on:
- 2012-10-25
- Description:
- 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.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-06)
- Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
- Re: PROV-WG response to comments on constraints (from antoine.zimmermann@emse.fr on 2012-11-01)
- PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from p.t.groth@vu.nl on 2012-11-01)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
- Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-10-31)
- Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
- Review of PROV_CONSTRAINTS issues (ISSUE-582, ISSUE-586, ISSUE-587, ISSUE-588) (from jcheney@inf.ed.ac.uk on 2012-10-26)
- PROV-ISSUE-588 (strictly-precedes-irreflexive): It is never specified explicitly that 'strictly-precedes' is irreflexive [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-10-25)
Related notes:
No additional notes.
Display change log