ISSUE-178: wasStartedBy constraint between started and generated entity
TLebo
wasStartedBy constraint between started and generated entity
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Timothy Lebo
- Opened on:
- 2011-12-02
- Description:
- Should an additional constraint be added to wasStartedBy-ordering's interpretation constraint? It currently reads:
"Given two activity records denoted by a1 and a2, if the record wasStartedBy(a2,a1) holds, then the following temporal constraint holds: the start event of the activity record denoted by a1 precedes the start event of the activity record denoted by a2."
but says nothing about the start event of a2 following the generation event of e.
A diagram of the constraint is available at http://dvcs.w3.org/hg/prov/raw-file/e0d6f1a69062/diagrams/activity-ordering-records-control-ordering-record.png
Thanks,
Tim - Related Actions Items:
- No related actions
- Related emails:
- Re: closing issues (from L.Moreau@ecs.soton.ac.uk on 2012-02-14)
- Re: closing issues (from gil@isi.edu on 2012-02-13)
- Re: closing issues (from p.t.groth@vu.nl on 2012-02-13)
- closing issues (from L.Moreau@ecs.soton.ac.uk on 2012-02-13)
- Re: PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-01-11)
- Re: PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm] (from lebot@rpi.edu on 2012-01-05)
- Re: PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2011-12-19)
- PROV-ISSUE-178 (TLebo): wasStartedBy constraint between started and generated entity [prov-dm] (from sysbot+tracker@w3.org on 2011-12-02)
Related notes:
No additional notes.
Display change log
