PROV-ISSUE-458: wasInfluencedBy is not irreflexive [prov-dm-constraints]

PROV-ISSUE-458: wasInfluencedBy is not irreflexive  [prov-dm-constraints]

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

Raised by: Luc Moreau
On product: prov-dm-constraints

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

Received on Friday, 20 July 2012 08:08:00 UTC