ISSUE-471: wasAttributedTo constraints not sensical
wrong-wasAttributedTo-constraints
wasAttributedTo constraints not sensical
- State:
- CLOSED
- Product:
- prov-dm-constraints
- Raised by:
- Stian Soiland-Reyes
- Opened on:
- 2012-08-06
- Description:
- 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.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from graham.klyne@zoo.ox.ac.uk on 2012-09-06)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-09-06)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-09-04)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-09-03)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-06)
- PROV-ISSUE-471 (wrong-wasAttributedTo-constraints): wasAttributedTo constraints not sensical [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-08-06)
Related notes:
No additional notes.
Display change log