- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Mon, 06 Aug 2012 15:37:05 +0000
- To: public-prov-wg@w3.org
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.
Received on Monday, 6 August 2012 15:37:06 UTC