W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2009

Validator test

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Thu, 13 Aug 2009 11:38:50 -0400
Message-ID: <29af5e2d0908130838t397095f2i1d4de2a444080270@mail.gmail.com>
To: W3C OWL Working Group <public-owl-wg@w3.org>
There's an issue with the following case, which I proposed we add to
the test cases as an approved test:

http://obi.svn.sourceforge.net/svnroot/obi/trunk/src/examples/development/imports/a.owl
and OWL 2 DL profile.

This tests the case where the imported ontology does not have an
ontology header.

The validator says that it is not OWL 2 DL, but then has a stack trace
in the report.

Anyone see a mistake in the test?

a.owl:

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
   <owl:Ontology rdf:about="">
       <owl:imports rdf:resource="b.owl"/>
   </owl:Ontology>
   <owl:Class rdf:about="http://purl.obofoundry.org/obo/examples/foo"/>
</rdf:RDF>

b.owl:

<?xml version="1.0"?>
<rdf:RDF
    xmlns:examples="http://purl.obofoundry.org/obo/examples/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
   <examples:foo rdf:about="http://purl.obofoundry.org/obo/examples/bar"/>
</rdf:RDF>
Received on Thursday, 13 August 2009 15:39:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 13 August 2009 15:39:54 GMT