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

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 02:09:41 UTC