W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2012

Re: PROV-ISSUE-413 (prov-o-time-chains): property chains for time? [Ontology]

From: Timothy Lebo <lebot@rpi.edu>
Date: Fri, 29 Jun 2012 17:06:14 -0400
Cc: Provenance Working Group <public-prov-wg@w3.org>
Message-Id: <E0FE59FB-917E-419B-82E8-2DDDFE2D8884@rpi.edu>
To: Paul Groth <p.t.groth@vu.nl>
Thanks. I'll keep just that to avoid non-DLness.

Unless others have suggestions.

-Tim

On Jun 29, 2012, at 4:59 PM, Paul Groth wrote:

> That seems fine to me.
> 
> Paul
> 
> On Fri, Jun 29, 2012 at 10:17 PM, Timothy Lebo <lebot@rpi.edu> wrote:
>> Thanks, Paul.
>> 
>> I added editorNotes to the 4 datatype properties indicating the intent of the chain.
>> Is that adequate?
>> 
>> Thanks,
>> Tim
>> 
>> On Jun 29, 2012, at 4:15 PM, Paul Groth wrote:
>> 
>>> Hi Tim,
>>> 
>>> In OWL 2 DL it's not allowed. However, most reasoners allow datatype
>>> properties at the end of property chain.
>>> 
>>> Paul
>>> 
>>> 
>>> 
>>> On Fri, Jun 29, 2012 at 9:32 PM, Timothy Lebo <lebot@rpi.edu> wrote:
>>>> OWL gurus,
>>>> 
>>>> Can property chains only be asserted for object properties?
>>>> 
>>>> Protege doesn't offer a chain option on datatype properties, and it's not
>>>> listed in http://www.w3.org/2007/OWL/refcard
>>>> 
>>>> Thanks,
>>>> Tim
>>>> 
>>>> On Jun 20, 2012, at 2:14 PM, Stephan Zednik wrote:
>>>> 
>>>> +1 as well (to both)
>>>> 
>>>> --Stephan
>>>> 
>>>> On Jun 20, 2012, at 1:55 AM, Daniel Garijo wrote:
>>>> 
>>>> +1 to these properties.
>>>> 
>>>> 2012/6/20 Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
>>>>> 
>>>>> PROV-ISSUE-413 (prov-o-time-chains): property chains for time? [Ontology]
>>>>> 
>>>>> http://www.w3.org/2011/prov/track/issues/413
>>>>> 
>>>>> Raised by: Timothy Lebo
>>>>> On product: Ontology
>>>>> 
>>>>> (prov:qualifiedGeneration prov:atTime) rdfs:subPropertyOf
>>>>> prov:generatedAtTime
>>>>> 
>>>>> (prov:qualifiedInvalidation prov:atTime) rdfs:subPropertyOf
>>>>> prov:invalidatedAtTime
>>>>> 
>>>>> etc.
>>>>> 
>>>>> 
>>>>> 
>>>> 
>>>> 
>>>> 
>>> 
>>> 
>>> 
>>> --
>>> --
>>> Dr. Paul Groth (p.t.groth@vu.nl)
>>> http://www.few.vu.nl/~pgroth/
>>> Assistant Professor
>>> Knowledge Representation & Reasoning Group
>>> Artificial Intelligence Section
>>> Department of Computer Science
>>> VU University Amsterdam
>>> 
>> 
> 
> 
> 
> -- 
> --
> Dr. Paul Groth (p.t.groth@vu.nl)
> http://www.few.vu.nl/~pgroth/
> Assistant Professor
> Knowledge Representation & Reasoning Group
> Artificial Intelligence Section
> Department of Computer Science
> VU University Amsterdam
> 
> 
Received on Friday, 29 June 2012 21:06:44 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:16 UTC