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