Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 from Michael Smith on 2007-11-30 (public-owl-wg@w3.org from November 2007)

From: Michael Smith <msmith@clarkparsia.com>
Date: Fri, 30 Nov 2007 08:58:18 -0500
To: OWL Working Group WG <public-owl-wg@w3.org>
Message-Id: <1196431098.2439.9.camel@msmith-laptop>

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

Received on Friday, 30 November 2007 13:58:41 UTC