- From: <jos.deroo@agfa.com>
- Date: Mon, 21 Mar 2005 13:12:50 +0100
- To: 50263336@student.cityu.edu.hk
- 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).
will see when the cache will change :)
the added rule can also be seen in the diff
http://cvs.sourceforge.net/viewcvs.py/eulersharp/2003/03swap/owl-rules.n3?r1=1.16&r2=1.17
> 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?
this is very incomplete work mainly done to test OWL Web Ontology Language
Test Cases W3C Recommendation 10 February 2004
http://www.w3.org/TR/owl-test/
they were tested by machine and the results in primitive proof format are
at
http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/
>
> 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 12:32:26 UTC