ISSUE-458: wasInfluencedBy is not irreflexive

wasInfluencedBy is not irreflexive

State:

CLOSED

Product:

prov-dm-constraints

Raised by:

Luc Moreau

Opened on:

2012-07-20

Description:

Going back to the definition in prov-dm,

Communication is the exchange of some unspecified entity by two activities, one activity using some entity generated by the other.

I can imagine a service invoking itself (so effectively, exchanging an entity with itself).

So, it would be fine to write:

wasInformedBy(a,a)


Therefore,

wasInfluencedBy(a,a)

which contradicts the constraints:

http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#impossible-influence-reflexive

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
2. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-06)
3. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-06)
4. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-02)
5. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from dgarijo@delicias.dia.fi.upm.es on 2012-07-31)
6. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-31)
7. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-07-31)
8. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-07-31)
9. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-31)
10. RE: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-07-31)
11. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-07-31)
12. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-07-29)
13. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-29)
14. RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-07-24)
15. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
16. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
17. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-23)
18. PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-07-20)
19. Re: PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-20)
20. Re: PROV-ISSUE-454 (key across relations/objectss): can the same identifier be used for different relations objects [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-07-20)
21. PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-07-20)

Related notes:

No additional notes.

Display change log