Fw: rdfs:subPropertyOf + owl:inverseOf

----- Original Message ----- 
From: Jeremy Wong 
To: public-owl-dev@w3.org 
Sent: Sunday, March 20, 2005 5:16 AM
Subject: rdfs:subPropertyOf + owl:inverseOf


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 ?



Jeremy