W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

description-logic/consistency605

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT