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