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 13:12:50 +0100
To: 50263336@student.cityu.edu.hk
Cc: semantic-web@w3.org
Message-ID: <OF7B63C2E2.5E9B8992-ONC1256FCB.002D9DC3-C1256FCB.0043177B@agfa.com>

> 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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:04 GMT