W3C home > Mailing lists > Public > public-prov-wg@w3.org > July 2012

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 18 Jul 2012 09:06:35 +0000
Message-Id: <E1SrQDL-0004q4-Ga@tibor.w3.org>
To: public-prov-wg@w3.org
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:18 UTC