<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:dc="http://purl.org/dc/elements/1.0/"
    xmlns:rtest="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
    xmlns:otest="http://www.w3.org/2002/03owlt/testOntology#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" > 
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/disjointWith/Manifest005#test">
    <rtest:inputDocument rdf:resource="http://www.w3.org/2002/03owlt/disjointWith/consistent005"/>
    <rtest:description rdf:parseType="Literal">
If the owl:disjointWith edges in the graph form unconnected
undirected complete subgraphs
then this may be within OWL DL.</rtest:description>
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Full"/>
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#DL"/>
    <otest:feature rdf:resource="http://www.w3.org/2002/07/owl#disjointWith"/>
    <dc:creator>Jeremy J. Carroll</dc:creator>
    <rtest:approval rdf:resource="http://www.w3.org/2003/09/11-webont-irc"/>
    <rtest:status>APPROVED</rtest:status>
    <rdf:type rdf:resource="http://www.w3.org/2002/03owlt/testOntology#ConsistencyTest"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/disjointWith/consistent005">
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#DL"/>
    <rdf:type rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document"/>
  </rdf:Description>
</rdf:RDF>