ISSUE-309: using owltime:before on prov:InstantaneousEvents pattern
TLebo
using owltime:before on prov:InstantaneousEvents pattern
- State:
- CLOSED
- Product:
- Best Practice Cookbook
- Raised by:
- Timothy Lebo
- Opened on:
- 2012-03-09
- Description:
- http://www.w3.org/mid/CAPRnXtmzn2vNrbC6LXZxvPjAPUK8h4muJT=9A1L7W2PYQ-NYzQ@mail.gmail.com
Now that they are all InstantaneousEvent, then no, that should still
be kind-of fine, as I can do:
:activity1 a prov:Activity ;
prov:qualifiedStart :activity1Start ;
prov:qualifiedEnd :activity1End .
:entity1 prov:qualifiedGeneration :entity1Gen .
:activity1Gen ex:after :activity1Start .
:activity1End ex:after :activity1Gen .
and in fact, if I as an asserter still like OWL Time, I can make
:activity1Gen etc. instances of time:Instant and use time:after
instead of my own ex:after - even make a property ex:started as
subproperty of both prov:qualifiedStart and time:hasBeginning (and
equivalent for prov:atTime/time:inXSDDateTime) and talk about
:activity1 as an time:Interval. - 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 lebot@rpi.edu on 2012-03-09)
- PROV-ISSUE-309 (TLebo): using owltime:before on prov:InstantaneousEvents pattern [Best Practice Cookbook] (from sysbot+tracker@w3.org on 2012-03-09)
Related notes:
Moved to FAQ: http://www.w3.org/2001/sw/wiki/PROV-FAQ#OWL_Time
Timothy Lebo, 18 Apr 2013, 12:55:18Display change log