W3C home > Mailing lists > Public > semantic-web@w3.org > March 2005

Re: Fw: rdfs:subPropertyOf + owl:inverseOf

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
Message-ID: <OF62B1BCBB.EB39DE78-ONC1256FCA.0081B916-C1256FCB.0000584B@agfa.com>

> 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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC