Re: PROV-ISSUE-43 (derivation-time): Deriviation should have associated time [Conceptual Model]

Hi Paul,

At long last, I have made a proposal for this issue, essentially making
time optional for imprecise derivation. This time is the generation time.

http://dvcs.w3.org/hg/prov/rev/912069d8f106

I was keen to have a single placeholder for generation time: the 
generation record.
This is still the case.

Optional time in imprecise derivation is merely a shortcut as expressed 
by the
new rule:
http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#derivation-time-elimination

For this to work, we had to have activity optional in generation record.
Hence, we are also addressing ISSUE-205.
Stian's indications was that this was working well in PROV-O.

Once this has been reviewed, I proposed to close both issues.
There will be an extra task to perform: all common relations that 
subclass derivation
may now have an optional generation time. This is already exploited by 
Paolo when
dealing with collections.

Cheers,
Luc

On 07/23/2011 04:46 PM, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-43 (derivation-time): Deriviation should have  associated time [Conceptual Model]
>
> http://www.w3.org/2011/prov/track/issues/43
>
> Raised by: Paul Groth
> On product: Conceptual Model
>
> Other relationships have time associated with them (e.g. use, generation, control)
>
> There is no optional time associated with derivation.
>
> Suggested resolution is to add the following to the definition of isDerivedFrom:
>
> -  May contain a "derived from time" t, the time or time intervals when b1 was derived from b2
>
> Example:
> isDerivedFrom(b1,b2, t)
>
>
>
>
>
>    

-- 
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