- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 16 Sep 2003 12:15:08 -0400 (EDT)
- 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 UTC