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

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.
>
>
>

Received on Friday, 30 November 2007 15:02:25 UTC