W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

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

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Mon, 3 Dec 2007 18:59:28 +0000
Message-Id: <8D855CD4-F25D-47E2-9AF0-114A5431B650@cs.man.ac.uk>
Cc: "'Kashyap, Vipul'" <VKASHYAP1@PARTNERS.ORG>, "'Jeremy Carroll'" <jjc@hpl.hp.com>, "'OWL Working Group WG'" <public-owl-wg@w3.org>
To: <conrad.bock@nist.gov>

Hi Conrad -

On 3 Dec 2007, at 15:38, Conrad Bock wrote:

>
> Uli,
>
>>  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) ...
>
> Do you know of anyone working on restrictions that would make  
> chains in
> the "super" position (right hand side) decidable?
>

I don't know of anybody currently working on it, but we know that it  
(having R o S => T o U)  makes reasoning undecidable in the logic that

- has only IntersectionOf an SomeValuesFrom restrictions (see Baader,  
DL 2003, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR- 
WS/Vol-81/baader.pdf)

- has only intersectionOf and AllValuesFrom Manfred Schmidt-Schau .  
Subsumption in KL-ONE is undecidable. In Ron J.
Brachman, Hector J. Levesque, and Ray Reiter, editors, Proc. of the  
1st Int.
Conf. on the Principles of Knowledge Representation and Reasoning  
(KR'89),
pages 421-431. Morgan Kaufmann, Los Altos, 1989.

Cheers, Uli

> Conrad
>
>>  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 Monday, 3 December 2007 19:00:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT