<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/equivalentClass/conclusions007">
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Full"/>
    <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/equivalentClass/premises007">
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Full"/>
    <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/equivalentClass/Manifest007#test">
    <rtest:conclusionDocument rdf:resource="http://www.w3.org/2002/03owlt/equivalentClass/conclusions007"/>
    <rtest:premiseDocument rdf:resource="http://www.w3.org/2002/03owlt/equivalentClass/premises007"/>
    <rtest:description rdf:parseType="Literal">
De Morgan's law.</rtest:description>
    <otest:level rdf:resource="http://www.w3.org/2002/03owlt/testOntology#Full"/>
    <otest:feature rdf:resource="http://www.w3.org/2002/07/owl#equivalentClass"/>
    <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#PositiveEntailmentTest"/>
  </rdf:Description>
</rdf:RDF>