<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/premises001">
    <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:Description rdf:about="http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test">
    <rtest:approval rdf:resource="http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444"/>
    <dc:creator>Jeremy J. Carroll</dc:creator>
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#DL"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/03owlt/testOntology#PositiveEntailmentTest"/>
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Full"/>
    <rtest:status>APPROVED</rtest:status>
    <rtest:description rdf:parseType="Literal">
Disjoint classes have different members.</rtest:description>
    <otest:feature rdf:resource="http://www.w3.org/2002/07/owl#disjointWith"/>
    <rtest:conclusionDocument rdf:resource="http://www.w3.org/2002/03owlt/disjointWith/conclusions001"/>
    <rtest:premiseDocument rdf:resource="http://www.w3.org/2002/03owlt/disjointWith/premises001"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/disjointWith/conclusions001">
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Lite"/>
    <rdf:type rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document"/>
  </rdf:Description>
</rdf:RDF>