ISSUE-280: {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern

TLebo

{started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern

State:
CLOSED
Product:
Ontology
Raised by:
Timothy Lebo
Opened on:
2012-03-04
Description:
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


Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-15)
  2. Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from lebot@rpi.edu on 2012-03-14)
  3. [owl changed again] (from lebot@rpi.edu on 2012-03-06)
  4. Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from lebot@rpi.edu on 2012-03-04)
  5. Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from L.Moreau@ecs.soton.ac.uk on 2012-03-04)
  6. PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from sysbot+tracker@w3.org on 2012-03-04)
  7. Re: PROV-ISSUE-280 (TLebo): {started,ended,used,wasGenerated}At <-> prov:qualified [ prov:atTime ] pattern [Ontology] (from lebot@rpi.edu on 2012-03-03)

Related notes:

Uniformly applying the "qualified/unqualified" pattern on time seems a bit absurd, so I will withdraw the ISSUE.
PROV-O uses the qualified pattern to fulfill PROV-DM, and we'll leave the niche prov:usedAt xsd:dateTime to someone as an extension.

Timothy Lebo, 14 Mar 2012, 23:25:55

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 280.html,v 1.1 2013-06-20 07:37:33 vivien Exp $