Validator test

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 UTC