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

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:00:26 UTC