W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2005

rdfs:subPropertyOf + owl:inverseOf

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Sun, 20 Mar 2005 05:16:17 +0800
To: public-owl-dev@w3.org
Message-id: <002801c52cc8$f9959ba0$0401a8c0@wongkjo9u38gzb> 
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
Received on Saturday, 19 March 2005 21:17:27 GMT

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