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

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
> 

Received on Friday, 29 June 2012 20:17:35 UTC