W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

Re: comments on RDF mapping

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 29 Oct 2007 18:06:33 +0000
Message-ID: <47262129.5060809@hpl.hp.com>
To: Alan Ruttenberg <alanruttenberg@gmail.com>
CC: Boris Motik <boris.motik@comlab.ox.ac.uk>, public-owl-wg@w3.org

I wrote:

> The tests that I think express the punning issue are:
> 
> 
> <a> owl:sameAs <b>
> 
> entails
> 
> <a> owl:equivalentClass <b>
> 
> 
> and
> 
> 
> <a> owl:sameAs <b>
> 
> entails
> 
> <a> owl:equivalentProperty <b>
> 


On second thoughts I think I should make the typing issues clearer in 
both those tests:

1:

<a> rdf:type owl:Thing .
<a> rdf:type owl:Class .
<b> rdf:type owl:Thing .
<b> rdf:type owl:Class .
<a> owl:sameAs <b> .

entails

<a> owl:equivalentClass <b> .

and

2:

<a> rdf:type owl:Thing .
<a> rdf:type owl:ObjectProperty .
<b> rdf:type owl:Thing .
<b> rdf:type owl:ObjectProperty .
<a> owl:sameAs <b> .

entails

<a> owl:equivalentProperty <b> .
Received on Monday, 29 October 2007 18:07:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT