Re: description-logic/consistency605

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