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:

1. 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)
2. 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:

Display change log