Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?

Isn't this already permitted due to the resolution of issue 64?
http://www.w3.org/2007/OWL/tracker/issues/64

(I added a note  to the issue clarifying what the resolution was and  
when it was resolved)

-Alan

On Dec 2, 2007, at 1:17 PM, Kashyap, Vipul wrote:

> It is possible to extend the spec. to address this?
>
> ---Vipul
>
> From: Ian Horrocks [mailto:ian.horrocks@comlab.ox.ac.uk]
> Sent: Sunday, December 02, 2007 9:56 AM
> To: Jim Hendler
> Cc: Uli Sattler; Kashyap, Vipul; Jeremy Carroll; OWL Working Group WG
> Subject: Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2  
> o P1
>
> Not as things stand, because the syntax only allows for inclusions  
> of the form P1 o ... o Pn => P (i.e., this is not just a  
> "Nonstructural Restriction").
>
> Ian
>
>
> On 30 Nov 2007, at 18:59, Jim Hendler wrote:
>
>> but we could include it in OWL 1.1 Full, of course, right?
>>
>> On Nov 30, 2007, at 10:01 AM, Uli Sattler wrote:
>>
>>>
>>> makes reasoning undecidable (even R o S => T in general, ie,  
>>> without the restrictions imposed by OWL 1.1  because it allows   
>>> you to reduce the intersection problem of contex-free languages  
>>> to satisfiability of concepts)...
>>> Cheers, Uli
>>>
>>> On 30 Nov 2007, at 14:53, Kashyap, Vipul wrote:
>>>
>>>>
>>>>
>>>> Would be interested in on the ramifications on the complexity of  
>>>> reasoning.
>>>>
>>>> ---Vipul
>>>>
>>>>> -----Original Message-----
>>>>> From: public-owl-wg-request@w3.org
>>>>> [mailto:public-owl-wg-request@w3.org] On Behalf Of Jeremy Carroll
>>>>> Sent: Friday, November 30, 2007 8:53 AM
>>>>> To: OWL Working Group WG
>>>>> Subject: Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2
>>>>> => P2 o P1
>>>>>
>>>>>
>>>>> OWL Working Group Issue Tracker wrote:
>>>>>>
>>>>>> ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
>>>>>>
>>>>>> http://www.w3.org/2007/OWL/tracker/issues/
>>>>>>
>>>>>> Raised by: Vipul Kashyap
>>>>>> On product:
>>>>>>
>>>>>> I would like support for the property chain axiom.
>>>>>> The use case is based on Alan Rector's example in the DL Handbook
>>>>>>
>>>>>> Skin of the finger is part of the skin of the hand.
>>>>>> covers o part --> part o covers
>>>>>>
>>>>>> Thanks,
>>>>>>
>>>>>> ---Vipul
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>> Interestingly, the constructs we already have, put this into  
>>>>> the OWL
>>>>> Full version of the language ...
>>>>>
>>>>> Jeremy
>>>>>
>>>>>
>>>>
>>>> The information transmitted in this electronic communication is  
>>>> intended only
>>>> for the person or entity to whom it is addressed and may contain  
>>>> confidential
>>>> and/or privileged material. Any review, retransmission,  
>>>> dissemination or other
>>>> use of or taking of any action in reliance upon this information  
>>>> by persons or
>>>> entities other than the intended recipient is prohibited. If you  
>>>> received this
>>>> information in error, please contact the Compliance HelpLine at  
>>>> 800-856-1983 and
>>>> properly dispose of this information.
>>>>
>>>>
>>>>
>>>
>>>
>>
>> "If we knew what we were doing, it wouldn't be called research,  
>> would it?." - Albert Einstein
>>
>> Prof James Hendler http://www.cs.rpi.edu/~hendler
>> Tetherless World Constellation Chair
>> Computer Science Dept
>> Rensselaer Polytechnic Institute, Troy NY 12180
>>
>>
>>
>>
>
> The information transmitted in this electronic communication is  
> intended only for the person or entity to whom it is addressed and  
> may contain confidential and/or privileged material. Any review,  
> retransmission, dissemination or other use of or taking of any  
> action in reliance upon this information by persons or entities  
> other than the intended recipient is prohibited. If you received  
> this information in error, please contact the Compliance HelpLine  
> at 800-856-1983 and properly dispose of this information.

Received on Sunday, 2 December 2007 22:15:06 UTC