TEST imports-012

From: Jeremy Carroll <jjc@hpl.hp.com> Date: Mon, 22 Sep 2003 13:32:42 +0300 To: www-webont-wg@w3.org Message-Id: <200309221332.42115.jjc@hpl.hp.com> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT

I dreamt up the following test

A consistent lite document:

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/consistent012" >
   <owl:Ontology rdf:about="http://example.org/">
     <owl:imports>
         <owl:Ontology rdf:about=""/>
     </owl:imports>
   </owl:Ontology>

</rdf:RDF>

=====
In triples:

<http://example.org/> rdf:type owl:Ontology .
<imports/consistent012> rdf:type owl:Ontology .
<http://example.org/> owl:imports <imports/consistent012> .

It will break naive implementations that do not do the includes check on 
owl:imports.

Jeremy