<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns="http://owl.man.ac.uk/2005/07/sssw/people#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://owl.man.ac.uk/2005/07/sssw/people.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#adult">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Things that are adult.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >adult</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cat_liker">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >cat liker</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#plant">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >plant</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#bus_company">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >bus company</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#company"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#pet_owner">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >pet owner</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cat">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:disjointWith>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
    </owl:disjointWith>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >cat</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#company">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >company</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#magazine">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >magazine</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#duck">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </rdfs:subClassOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >duck</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#vehicle">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >vehicle</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#publication">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >publication</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >animal</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#female">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >female</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#vegetarian">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >vegetarian</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            </owl:onProperty>
            <owl:allValuesFrom>
              <owl:Class>
                <owl:complementOf>
                  <owl:Restriction>
                    <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
                    <owl:onProperty>
                      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                    </owl:onProperty>
                  </owl:Restriction>
                </owl:complementOf>
              </owl:Class>
            </owl:allValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            </owl:onProperty>
            <owl:allValuesFrom>
              <owl:Class>
                <owl:complementOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
              </owl:Class>
            </owl:allValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A vegetarian is defined as an animal that eats no other animals, or parts of animals.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#grass">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >grass</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#pet">
    <owl:equivalentClass>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
      </owl:Restriction>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >pet</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#bone">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >bone</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#brain">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >brain</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog_liker">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >dog liker</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
            </owl:onProperty>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#haulage_worker">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >haulage worker</rdfs:label>
    <owl:equivalentClass>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Restriction>
                <owl:someValuesFrom>
                  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
                </owl:someValuesFrom>
                <owl:onProperty>
                  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                </owl:onProperty>
              </owl:Restriction>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
            </owl:unionOf>
          </owl:Class>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#works_for"/>
        </owl:onProperty>
      </owl:Restriction>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet">
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
    </rdfs:subClassOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >broadsheet</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A newspaper. Broadsheets are usually considered to be more "high-brow" than tabloids.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#tiger">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >tiger</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#truck">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >truck</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#man">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >man</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#male"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#lorry_driver">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#lorry"/>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >lorry driver</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#elderly">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >elderly</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#tabloid">
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >tabloid</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A newspaper. Tabloids are usually thought of as more "down-market" than broadsheets.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >person</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#old_lady">
    <rdfs:subClassOf>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
            <owl:allValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </rdfs:subClassOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >old lady</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#white_van_man">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#reads"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A white van man is a man who drives a white van.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >white van man</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
                  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#white_thing"/>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#leaf">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >leaf</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#tree"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal_lover">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
            <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >3</owl:minCardinality>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >animal lover</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Someone who really likes animals</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#lorry">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >lorry</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >haulage company</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#company"/>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#kid">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#young"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >kid</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#quality_broadsheet">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >quality broadsheet</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#car">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >car</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#tree">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >tree</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#red_top">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >red top</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#driver">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >driver</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cat_owner">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >cat owner</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog_owner">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >dog owner</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#van">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >van</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#bus">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >bus</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#dog">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#bone"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >dog</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#sheep">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        </owl:onProperty>
        <owl:allValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#grass"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >sheep</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
  </owl:Class>
  <owl:Class>
    <owl:unionOf rdf:parseType="Collection">
      <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
        </owl:onProperty>
      </owl:Restriction>
    </owl:unionOf>
    <owl:disjointWith>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
          </owl:Restriction>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
        </owl:unionOf>
      </owl:Class>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#young">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:disjointWith rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >young</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#mad_cow">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cow"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            </owl:onProperty>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Restriction>
                    <owl:onProperty>
                      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                    </owl:onProperty>
                    <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#sheep"/>
                  </owl:Restriction>
                  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#brain"/>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >mad cow</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A mad cow is a cow that has been eating the brains of sheep.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#white_thing">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >white thing</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#cow">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vegetarian"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >cow</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Cows are naturally vegetarians.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#newspaper">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >All newspapers are either broadsheets or tabloids.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >newspaper</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
        </owl:unionOf>
      </owl:Class>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#haulage_truck_driver">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >haulage truck driver</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#works_for"/>
            </owl:onProperty>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:onProperty>
                  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                </owl:onProperty>
                <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
              </owl:Restriction>
            </owl:someValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#truck"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#bus_driver">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Someone who drives a bus.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >bus driver</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#bus"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#bicycle">
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A human propelled vehicle, with two wheels</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >bicycle</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#van_driver">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >van driver</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#woman">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >woman</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#giraffe">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >giraffe</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        </owl:onProperty>
        <owl:allValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#leaf"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#grownup">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
          <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >grownup</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#male">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The class of all male things.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >male</rdfs:label>
  </owl:Class>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_child">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_child</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_father">
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_parent"/>
    </rdfs:subPropertyOf>
    <rdfs:range rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_father</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eaten_by">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
    </owl:inverseOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >eaten_by</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_pet">
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
    </owl:inverseOf>
    <rdfs:range rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Anyone that has a pet must like that pet.</rdfs:comment>
    <rdfs:domain rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
    </rdfs:subPropertyOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_pet</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#reads">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >reads</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:range rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_part">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_part</rdfs:label>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
    </owl:inverseOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#likes">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >likes</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#part_of">
    <owl:inverseOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#has_part"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >part_of</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#works_for">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >works_for</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >is_pet_of</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <owl:inverseOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_parent">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_parent</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#drives">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >drives</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#eats">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >eats</rdfs:label>
    <rdfs:domain rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <owl:inverseOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#eaten_by"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#has_mother">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has_mother</rdfs:label>
    <rdfs:subPropertyOf rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#has_parent"/>
    <rdfs:range rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#woman"/>
  </owl:ObjectProperty>
  <owl:Thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Spike">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    ></rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Spike</rdfs:label>
    <is_pet_of>
      <owl:Thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Pete">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Pete</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </owl:Thing>
    </is_pet_of>
  </owl:Thing>
  <owl:AllDifferent>
    <owl:distinctMembers rdf:parseType="Collection">
      <duck rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Dewey">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Dewey</rdfs:label>
      </duck>
      <dog rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Fido">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Fido</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </dog>
      <cow rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Flossie">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Flossie</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </cow>
      <tiger rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Fluffy</rdfs:label>
      </tiger>
      <person rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Fred">
        <has_pet>
          <cat rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs">
            <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            ></rdfs:comment>
            <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >Tibbs</rdfs:label>
          </cat>
        </has_pet>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Fred</rdfs:label>
      </person>
      <duck rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Huey">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Huey</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </duck>
      <person rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Joe">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Joe</rdfs:label>
        <rdf:type>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:maxCardinality>
          </owl:Restriction>
        </rdf:type>
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Fido"/>
      </person>
      <person rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Kevin">
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Flossie"/>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Kevin</rdfs:label>
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy"/>
      </person>
      <duck rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Louie">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Louie</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </duck>
      <male rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Mick">
        <reads>
          <owl:Thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Daily_Mirror">
            <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >The paper read by Mick (a white van man).</rdfs:comment>
            <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >Daily Mirror</rdfs:label>
          </owl:Thing>
        </reads>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Mick</rdfs:label>
        <drives>
          <white_thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC">
            <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >A white van</rdfs:comment>
            <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >Q123 ABC</rdfs:label>
            <rdf:type rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
          </white_thing>
        </drives>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Mick is male and drives a white van. Due to the axiom concerning drivers, we know that Mick must be a man, and is therefore a white van man. The axiom about the reading material of a white van man then allows us to infer things about the Daily Mirror.</rdfs:comment>
      </male>
      <female rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Minnie">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Minnie</rdfs:label>
        <has_pet>
          <owl:Thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Tom">
            <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >Tom</rdfs:label>
            <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            ></rdfs:comment>
          </owl:Thing>
        </has_pet>
        <rdf:type rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
      </female>
      <white_thing rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
      <dog rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Rex">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Rex</rdfs:label>
        <is_pet_of rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
      </dog>
      <broadsheet rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#The_Guardian">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >The Guardian</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
      </broadsheet>
      <tabloid rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#The_Sun">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >The Sun</rdfs:label>
      </tabloid>
      <broadsheet rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#The_Times">
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >The Times</rdfs:label>
      </broadsheet>
      <cat rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs"/>
      <person rdf:about="http://owl.man.ac.uk/2005/07/sssw/people#Walt">
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Dewey"/>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Walt</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        ></rdfs:comment>
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Louie"/>
        <has_pet rdf:resource="http://owl.man.ac.uk/2005/07/sssw/people#Huey"/>
      </person>
    </owl:distinctMembers>
  </owl:AllDifferent>
</rdf:RDF>

<!-- Created with TopBraid Composer -->
