Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology]

Hi Tim,

Can you handle two usages at different times for a same entity? I fear that a property usedAt does not allow for this.

Professor Luc Moreau
Electronics and Computer Science
University of Southampton 
Southampton SO17 1BJ
United Kingdom

On 4 Mar 2012, at 02:09, "Timothy Lebo" <lebot@rpi.edu> wrote:

> Sorry, the page cut me short:
> 
> Time can be incrementally qualified, just like the binary relations.
> 
> The following pattern could be used for started, ended, used, and wasGeneratedAt:
> 
> 
> :input_1 prov:usedAt "2012-03-03T21:04:54-05:00" .
> :input_2 prov:usedAt "2012-04-04T21:04:54-05:00" .
> 
> :dataSet
>   prov:used :input_1, :input_2;
>   prov:qualified [
>      a prov:Usage;
>      prov:entity :input_1;
>      prov:atTime "2012-03-03T21:04:54-05:00";
>   ], [
>      a prov:Usage;
>      prov:entity :input_2;
>      prov:atTime "2012-04-04T21:04:54-05:00"
>   ];
> .
> 
> 
> 
> 
> http://www.w3.org/mid/E1RtEkN-0003xz-Ik@tibor.w3.org
> 
> http://www.w3.org/mid/CAKc1nHfd8B1a9m=eKCACQJpNZgGR1GJdaiDpNpnTxqycb4LDUA@mail.gmail.com
> 
> 
> 
> 
> -Tim
> 
> On Mar 3, 2012, at 9:05 PM, Provenance Working Group Issue Tracker wrote:
> 
>> PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology]
>> 
>> http://www.w3.org/2011/prov/track/issues/280
>> 
>> Raised by: Timothy Lebo
>> On product: Ontology
>> 
>> Time can be incrementally qualified, just like the binary relations.
>> 
>> 
>> :dataSet
>>  prov:used :input_1, :input_2;
>>  prov:usedAt "2012-03-03T21:04:54-05:00", "2012-04-04T21:04:54-05:00";
>>  prov:qualified [
>>     a prov:Usage;
>> 
>> 
>> 
>> 
>> http://www.w3.org/mid/E1RtEkN-0003xz-Ik@tibor.w3.org
>> 
>> http://www.w3.org/mid/CAKc1nHfd8B1a9m=eKCACQJpNZgGR1GJdaiDpNpnTxqycb4LDUA@mail.gmail.com
>> 
>> 
>> 
>> 
>> 
>> 
>> 
> 
> 

Received on Sunday, 4 March 2012 10:16:13 UTC