Re: comments on RDF mapping

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

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 UTC