- From: <jos.deroo@agfa.com>
- Date: Mon, 21 Mar 2005 01:03:48 +0100
- To: 50263336@student.cityu.edu.hk
- Cc: semantic-web@w3.org
> Consider the following...
>
> <PropA> rdfs:subPropertyOf <PropB> ; owl:inverseOf <PropB> .
> infers that
> <PropA> rdf:type owl:SymmetricProperty ...
>
> Proof.. consider the statement
> <#A> <PropA> <#B> .
> infers
> <#A> <PropB> <#B> . (<PropA> rdfs:subPropertyOf <PropB>)
> infers indirectly
> <#B> <PropA> <#A> . (<PropA> owl:inverseOf <PropB>)
>
> That means <PropA> is symmetric.
>
>
> It is also true for...
> <PropC> owl:inverseOf <PropC> ...
> infers that
> <PropC> rdf:type owl:SymmetricProperty
>
>
> agree or not ?
I actually agree and have added rule
{?P rdfs:subPropertyOf ?Q; owl:inverseOf ?Q} => {?P a
owl:SymmetricProperty}.
to http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3
Also your
<#PropC> a owl:SymmetricProperty.
is then provable.
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 21 March 2005 00:04:40 UTC