Re: PROV-ISSUE-411 (tracedto-inference): Should tracedTo allow tracing across specialization relation [prov-dm-constraints]

On 19 June 2012 21:10, Provenance Working Group Issue Tracker <
sysbot+tracker@w3.org> wrote:

> PROV-ISSUE-411 (tracedto-inference): Should tracedTo allow tracing across
> specialization relation [prov-dm-constraints]
>
> http://www.w3.org/2011/prov/track/issues/411
>
> Raised by: Luc Moreau
> On product: prov-dm-constraints
>
> Hi
>
> The constraints document allows for tracedTo to be inferred from
> derivation and attribution. Should the following also hold:
>
> specialization(e2,e1)
> implies
> tracedTo(e2,e1)
>


I didn't think about this hard, but my first guess is that traceability
should be reserved to entities that are (transitively) related through
activities. This does not necessarily apply to specialization: an entity e2
that is a specialization of another entity e1, can be created independently
of e1.

khalid

>
> Luc
>
>
>
>