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:
- 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)
- 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)
- 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)
- [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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Updates on issues raised for PROV-O (from satya.sahoo@case.edu on 2011-11-15)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Re: [PROV-O] Time examples? (from soiland-reyes@cs.manchester.ac.uk on 2011-10-13)
- 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)
- 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)
- 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