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

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