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>

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

Received on Monday, 22 September 2003 07:32:56 UTC