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

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