description-logic/consistency605

• From: Charles White <Charles.White@networkinference.com>
• Date: Fri, 12 Sep 2003 23:30:20 +0100
• To: <www-webont-wg@w3.org>
• Message-ID: <3BE4D3F0FB726240966DEF40418472B51C8886@ni-lon-server1.ad.networkinference.com>

All,

I thought I sent this last night, but my mail server has been wacko for the last couple weeks. So...
I was looking at the following owl file:

http://www.w3.org/TR/owl-test/XXL#description-logic-605

Down near the end it has the following code:
Note the two instances of /2002/07/owl#FunctionalProperty - is that correct? I don't think so.
I would be surprised if anyones parser would pass this.

 </rdfs:subPropertyOf>
  <rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
 </owl:ObjectProperty>
 <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
 <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx">
  <rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
 </owl:ObjectProperty>

Can someone in the know check this out?

chas

Received on Friday, 12 September 2003 18:32:15 UTC