ISSUE-309: using owltime:before on prov:InstantaneousEvents pattern


using owltime:before on prov:InstantaneousEvents pattern

Best Practice Cookbook
Raised by:
Timothy Lebo
Opened on:

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:
  1. Re: PROV-ISSUE-104 (time-class): How to relate start/end time to PE, use, generation, etc [Formal Model] (from on 2012-03-09)
  2. PROV-ISSUE-309 (TLebo): using owltime:before on prov:InstantaneousEvents pattern [Best Practice Cookbook] (from on 2012-03-09)

Related notes:

Moved to FAQ:

Timothy Lebo, 18 Apr 2013, 12:55:18

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