Re: Fw: rdfs:subPropertyOf + owl:inverseOf

It is glad to hear that you added the rule to your owl-rules, as I can see 
from the cache of Google search 
(http://216.239.63.104/search?q=cache:Mi5_tTySBnUJ:www.agfa.com/w3c/euler/owl-rules.n3+%3C%3E+%3C%23rcsid%3E+%22%24Id:+owl-rules.n3&hl=zh-TW).

By the way, I see that there is a number of rules in your owl-rules.n3 file. 
How did you dig them out? By human or by computer?


Jeremy

----- Original Message ----- 
From: <jos.deroo@agfa.com>
To: <50263336@student.cityu.edu.hk>
Cc: <semantic-web@w3.org>
Sent: Monday, March 21, 2005 8:03 AM
Subject: Re: Fw: 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 ?
>
> 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 01:37:36 UTC