ISSUE-104: How to relate start/end time to PE, use, generation, etc

time-class

How to relate start/end time to PE, use, generation, etc

State:
CLOSED
Product:
Ontology
Raised by:
Stian Soiland-Reyes
Opened on:
2011-09-28
Description:
The conceptual model allows the optional time for:

processExecution ( identifier [ , recipeLink ] , [ time ] , [ time ] , other-attribute-values )
wasGeneratedBy ( identifier , identifier , generationQualifier [, time] )
used ( identifier , identifier , useQualifier [, time] )


It is defined as:
5.5.6 Time
Time instants are defined according to xsd:dateTime [XMLSCHEMA-2].
It is optional to assert time in use, generation, and process execution expressions.

I don't particularly like making time a data property like this (not allowing you to say anything about how the time was measured, uncertainty, (see neutrino experiment), relative frame of reference, etc; and does not allow non-gregorian time (seconds only, or timeframes, cpu steps, etc) - that's probably a separate issue.

In the formal model we have a class prov:Time - but no way to connect this to ProcessExecutions. Associating them to use/generation, etc is strongly related to ISSUE-103 - but for PEs it should at least be easy to do:

prov:ProcessExecution prov:startedAt [
a prov:Time;
prov:time "2011-02-19T12:03:12Z"^xsd:datetime ] ;
prov:endedAt [ # ..
a prov:Time;
prov:time "2011-02-19T12:05:10Z"^xsd:datetime ] ;
] .

the use of a prov:Time class will open for application extensions for the concerns I am thinking of.

If we introduce prov:follows and prov:preceeds as suggested by the conceptual model in http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#event-ordering, it would be possible for asserters who only know about event ordering to use prov:Time instances which only are described using followed/preceeded with other Time instances.

(I guess these terms are in present tense in the conceptual model because we are talking about Time - the two times would always be followed/precededed by each-other - but we could change it to past tense for consistency)
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from zednis@rpi.edu on 2012-03-09)
  2. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from lebot@rpi.edu on 2012-03-09)
  3. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from lebot@rpi.edu on 2012-03-09)
  4. [owl changed] Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from lebot@rpi.edu on 2012-03-09)
  5. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-09)
  6. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from lebot@rpi.edu on 2012-03-08)
  7. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from lebot@rpi.edu on 2012-03-08)
  8. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from zednis@rpi.edu on 2012-03-08)
  9. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-08)
  10. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from zednis@rpi.edu on 2012-03-08)
  11. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-08)
  12. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
  13. Updates on issues raised for PROV-O (from satya.sahoo@case.edu on 2011-11-15)
  14. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-20)
  15. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2011-10-18)
  16. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from satya.sahoo@case.edu on 2011-10-17)
  17. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from graham.klyne@zoo.ox.ac.uk on 2011-10-17)
  18. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from mccusj@rpi.edu on 2011-10-14)
  19. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-14)
  20. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from p.t.groth@vu.nl on 2011-10-14)
  21. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from p.t.groth@vu.nl on 2011-10-14)
  22. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-14)
  23. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-14)
  24. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-13)
  25. Re: [PROV-O] Time examples? (from soiland-reyes@cs.manchester.ac.uk on 2011-10-13)
  26. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-30)
  27. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from p.t.groth@vu.nl on 2011-09-28)
  28. PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from sysbot+tracker@w3.org on 2011-09-28)

Related notes:

No additional notes.

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: 104.html,v 1.1 2013-06-20 07:37:20 vivien Exp $