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

 
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?

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 15:39:56 UTC