PROV-ISSUE-452: what is plan in association inference [prov-dm-constraints]

PROV-ISSUE-452: what is plan in association inference [prov-dm-constraints]

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

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


Some inferences allow new association statements to be inferred.
See:

http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#inference-attribution
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#inference-delegation

When we write: wasAssociatedWith(_id2;a, ag2, _pl2, _attrs2) in the consequent,
a plan may not necessarily exist.

So, shouldn't it be:

wasAssociatedWith(_id2;a, ag2, _pl2, _attrs2)
or
wasAssociatedWith(_id2;a, ag2, -, _attrs2)

Received on Wednesday, 18 July 2012 09:06:36 UTC