- From: Jeremy Wong <50263336@student.cityu.edu.hk>
- Date: Mon, 21 Mar 2005 09:34:05 +0800
- To: jos.deroo@agfa.com
- Cc: semantic-web@w3.org
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