- From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
- Date: Mon, 03 Sep 2012 14:53:49 +0100
- To: public-prov-wg@w3.org
Hi I suggest the constraints becomes as follows: IF wasAttributedTo(_at;e,ag,_attrs) and wasInvalidatedBy(invE;e,_a1,_t1,_attrs1) and wasGeneratedBy(genAg;ag,_a1,_t1,_attrs1) THEN genAg precedes invE Luc On 06/08/12 16:56, James Cheney wrote: > This seems easy to fix, by replacing the constraint 48 with the proposed: > >> IF wasAttributedTo(_at;e,ag,_attrs) and >> wasGeneratedBy(genE;e,_a1,_t1,_attrs1) and >> wasGeneratedBy(genAg;ag,_a1,_t1,_attrs1) THEN genAg precedes genE > and supporting text as suggested. Any objections? > > --James > > On Aug 6, 2012, at 4:37 PM, Provenance Working Group Issue Tracker wrote: > >> PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] >> >> http://www.w3.org/2011/prov/track/issues/471 >> >> Raised by: Stian Soiland-Reyes >> On product: prov-dm-constraints >> >> I find the wasAttributedTo constraint 48 wrong >> >>> From Stian's review http://lists.w3.org/Archives/Public/public-prov-wg/2012Aug/0021.html >> http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-constraints-20120723/prov-constraints.html#wasAttributedTo-ordering_text >> >>> An entity that was attributed to an agent must have some overlap with the agent. >> Why?? >> >> >>> The agent is required to exist before the entity invalidation. >> I don't agree with that. First of all, why has the attribution need to >> have anything to do with the invalidation of an entity? If you >> contribute to an entity, all of that has to happen *before* the entity >> is generated. It does not matter what happens after that. >> >>> Likewise, the entity generation must precede the agent destruction. >> This also means it is not valid to attribute a book to an author if >> the book was published after the author's death. (For instance The >> GIrl with the Dragon Tattoo). >> >> By our inferences, it is only a requirement that the agent was >> associated with an activity that eventually gave birth to the entity. >> The agent is not required to be there till the end of the activity, >> that sounds like an artificial constraint to me. Thus I would remove >> constraint 48. >> >> >> What you can instead say that an agent's association with that >> activity must precede an entity's generation, because otherwise he >> can't be associated with its generating activity. This does not >> directly follow from constraint 47 and Inference 15 >> (attribution-inference), so we need a constraint to force the >> generation to be after the *association* started, the first would then >> follow. Association don't have time, unfortunately, but we can use >> same reasoning as in constraint 47: >> >> IF wasAttributedTo(_at;e,ag,_attrs) and >> wasGeneratedBy(genE;e,_a1,_t1,_attrs1) and >> wasGeneratedBy(genAg;ag,_a1,_t1,_attrs1) THEN genAg precedes genE >> >> >> We can't say anything about the entity's invalidation; attribution >> relates to association with the generation, not invalidation. The >> agent's invalidation after the start of the activity a1 (which does >> not affect e) is covered by constraint 47+ inference 15. >> >> >> >> >> > -- Professor Luc Moreau Electronics and Computer Science tel: +44 23 8059 4487 University of Southampton fax: +44 23 8059 2865 Southampton SO17 1BJ email: l.moreau@ecs.soton.ac.uk United Kingdom http://www.ecs.soton.ac.uk/~lavm
Received on Monday, 3 September 2012 13:54:24 UTC