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:

1. Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-06)
2. Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
3. Re: PROV-WG response to comments on constraints (from antoine.zimmermann@emse.fr on 2012-11-01)
4. PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
5. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
6. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
7. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
8. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
9. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from p.t.groth@vu.nl on 2012-11-01)
10. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
11. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-10-31)
12. Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
13. Review of PROV_CONSTRAINTS issues (ISSUE-582, ISSUE-586, ISSUE-587, ISSUE-588) (from jcheney@inf.ed.ac.uk on 2012-10-26)
14. 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