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

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

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 30 Nov 2007 13:52:40 +0000
Message-ID: <475015A8.1090102@hpl.hp.com>
To: OWL Working Group WG <public-owl-wg@w3.org>

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
Received on Friday, 30 November 2007 13:53:18 GMT

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