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

Yes, that is correct.

---Vipul 

> -----Original Message-----
> From: public-owl-wg-request@w3.org 
> [mailto:public-owl-wg-request@w3.org] On Behalf Of Michael Smith
> Sent: Friday, November 30, 2007 8:58 AM
> To: OWL Working Group WG
> Subject: Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 
> => P2 o P1
> 
> 
> 
> On Thu, 2007-11-29 at 20:58 +0000, OWL Working Group Issue Tracker
> wrote:
> > 
> > ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
> 
> > Skin of the finger is part of the skin of the hand.
> > covers o part --> part o covers
> 
> To clarify, property chains are currently only allowed in the "sub
> position" of subproperty axioms and you'd like to use them in both the
> sub and super positions?  I.e., a change like the following in the
> Syntax document [1] 
> 
> subObjectPropertyOf := 'SubObjectPropertyOf' '(' { annotation 
> } subObjectPropertyExpression subObjectPropertyExpression ')'
> 
> -- 
> Mike Smith
> 
> Clark & Parsia
> 
> [1] http://www.w3.org/2007/OWL/wiki/Syntax#Object_Property_Axioms
> 
> 

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 14:52:58 UTC