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

Re: description-logic/consistency605

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 16 Sep 2003 12:15:08 -0400 (EDT)
Message-Id: <20030916.121508.65282423.pfps@research.bell-labs.com>
To: Charles.White@networkinference.com
Cc: www-webont-wg@w3.org

From: "Charles White" <Charles.White@networkinference.com>
Subject: description-logic/consistency605
Date: Fri, 12 Sep 2003 23:30:20 +0100

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

OWLP 0.6 identifies
http://www.w3.org/2002/03owlt/description-logic/consistent605 as OWL Lite.    

I don't see any problem in the document.

peter
Received on Tuesday, 16 September 2003 12:15:52 GMT

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