Re: PROV-ISSUE-232 (TLebo): activity start/end: direct time upgrades to instantaneous events [Ontology]

I see, I'll leave it OPEN.

Daniel

2012/3/6 Timothy Lebo <lebot@rpi.edu>

> Although we've removed the 2006 namespace and any reference to its
> classes/properties, I still have a concern.
>
> The demand to use prov:TimeInstant is unnecessarily verbose
>
> I wrote [1] to contrast the options:
>
> :activity
>    a prov:Activity;
>    # Unqualified start
>    prov:startedAtTime    "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
>    # Qualified Start
>    prov:startedAt [
>       a prov:TimeInstant;
>       prov:atTime        "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
>    ];
>
>
> Practical users of prov-o will prefer the "unqualified start" modeling
> because it avoids minting rdfs:Resources just to state the time.
> "Proper" provenance insists on the nuanced indirection (unless WD4 fixed
> this).
> Having this extra level of indirection slows queries and can lead to
> duplicate results (unless we impose atTime being inverse functional, but
> that's a lot of overhead that could be avoided with a direct triple.)
>
> In the example, I was using the pattern "atTime" to indicate that the
> range is a xsd:dateTime. This is seen in startedAtTime and atTime.
>
> -Tim
>
>
> [1]
> http://dvcs.w3.org/hg/prov/file/d9433150115d/examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl
>
>
>
>
> On Mar 6, 2012, at 2:33 PM, Daniel Garijo wrote:
>
> Hi Tim,
> now startedAt and endedAt can be bound to timeInstants (not using the 2006
> namespace).
> Can we close this issue?
>
> Thanks,
> Daniel
>
> 2012/2/3 Timothy Lebo <lebot@rpi.edu>
>
>> Per Ivan, we should not use the 2006 namespace because it was never a
>> final document.
>> We can mirror what we need into our own namespace.
>>
>> TODO: Tim to change the owl ont.
>>
>> -Tim
>>
>> On Feb 3, 2012, at 3:43 AM, Provenance Working Group Issue Tracker wrote:
>>
>> > PROV-ISSUE-232 (TLebo): activity start/end: direct time upgrades to
>> instantaneous events [Ontology]
>> >
>> > http://www.w3.org/2011/prov/track/issues/232
>> >
>> > Raised by: Timothy Lebo
>> > On product: Ontology
>> >
>> > per 9:40 Friday f2f2
>> >
>> >
>> >
>> >
>>
>>
>>
>
>