<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
  <!ENTITY montyPythonWitchArgument "http://www.mindswap.org/dav/ontologies/examples/montyPythonWitchArgument#">
  <!ENTITY owl "http://www.w3.org/2002/07/owl#">
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
  <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
]>
<rdf:RDF xml:base="http://www.mindswap.org/dav/ontologies/examples/montyPythonWitchArgument"
         xmlns:montyPythonWitchArgument="&montyPythonWitchArgument;"
         xmlns:owl="&owl;"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;">

<!-- Ontology Information -->
  <owl:Ontology rdf:about=""/>

<!-- Classes -->
  <owl:Class rdf:about="#Burns"/>
  <owl:Class rdf:about="#Floats">
    <rdfs:subClassOf rdf:resource="#IsMadeOfWood"/>
  </owl:Class>

  <owl:Class rdf:about="#IsMadeOfWood">
    <rdfs:subClassOf rdf:resource="#Burns"/>
  </owl:Class>

  <owl:Class rdf:about="#Witch"/>
  <owl:Class rdf:about="#Woman"/>
  <owl:Class rdf:about="tempClass"/>
  <owl:Class>
    <owl:complementOf rdf:resource="#Floats"/>
    <owl:equivalentClass rdf:resource="tempClass"/>
  </owl:Class>

  <owl:Class>
    <rdfs:subClassOf rdf:resource="#Witch"/>
    <owl:intersectionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="#Burns"/>
      <rdf:Description rdf:about="#Woman"/>
    </owl:intersectionOf>
  </owl:Class>

  <owl:Class rdf:nodeID="b15">
    <owl:complementOf rdf:resource="#Witch"/>
  </owl:Class>

<!-- Object Properties -->
  <owl:ObjectProperty rdf:about="#sameWeight"/>

<!-- Instances -->
  <montyPythonWitchArgument:Floats rdf:about="#Duck">
    <rdf:type rdf:resource="&owl;Thing"/>
  </montyPythonWitchArgument:Floats>

  <montyPythonWitchArgument:Woman rdf:about="#Girl">
    <montyPythonWitchArgument:sameWeight rdf:resource="#Duck"/>
    <rdf:type rdf:nodeID="b15"/>
  </montyPythonWitchArgument:Woman>

  <owl:Restriction>
    <rdfs:subClassOf rdf:resource="#Floats"/>
    <owl:onProperty rdf:resource="#sameWeight"/>
    <owl:someValuesFrom rdf:resource="#Floats"/>
  </owl:Restriction>
</rdf:RDF>
