rdfs:subPropertyOf + owl:inverseOf from Jeremy Wong on 2005-03-19 (public-owl-dev@w3.org from January to March 2005)

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 UTC