<?xml version="1.0" encoding="UTF-8"?>
<axioms xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="http://dl.kr.org/dig/lang/schema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://dl.kr.org/dig/lang/schema     http://homepages.cs.manchester.ac.uk/~seanb/dig/schema.xsd" uri="urn:whatever">
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
        <someValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            <class URI="http://dl.kr.org/dig/lang/schema#top"/>
        </someValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#animal_lover"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal_lover"/>
        <intersectionOf>
            <minCardinality num="3">
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
            </minCardinality>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#bicycle"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bicycle"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#bone"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#brain"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#bus"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bus"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#bus_company"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bus_company"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#company"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#bus_driver"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bus_driver"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bus"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#car"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#car"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#cat_liker"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat_liker"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
            </someValuesFrom>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#cat_owner"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat_owner"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#company"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#cow"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cow"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vegetarian"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
        <someValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#bone"/>
        </someValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#dog_liker"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog_liker"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#dog_owner"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog_owner"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#driver"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#driver"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#driver"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#duck"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#duck"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#giraffe"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#giraffe"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#giraffe"/>
        <allValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#leaf"/>
        </allValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#grass"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#grass"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#grownup"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#grownup"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#company"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_truck_driver"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_truck_driver"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#works_for"/>
                <someValuesFrom>
                    <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
                </someValuesFrom>
            </someValuesFrom>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#truck"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_worker"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_worker"/>
        <someValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#works_for"/>
            <unionOf>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
                <someValuesFrom>
                    <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#haulage_company"/>
                </someValuesFrom>
            </unionOf>
        </someValuesFrom>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#kid"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#kid"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#young"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#leaf"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#leaf"/>
        <someValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tree"/>
        </someValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#lorry"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#lorry"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#lorry_driver"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#lorry_driver"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#lorry"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#mad_cow"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#mad_cow"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
                <intersectionOf>
                    <someValuesFrom>
                        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#sheep"/>
                    </someValuesFrom>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#brain"/>
                </intersectionOf>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cow"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#magazine"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#magazine"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#male"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#male"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
        <unionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
        </unionOf>
    </subClass>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#old_lady"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#old_lady"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#old_lady"/>
        <intersectionOf>
            <allValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
            </allValuesFrom>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            </someValuesFrom>
        </intersectionOf>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#pet"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#pet"/>
        <someValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
            <class URI="http://dl.kr.org/dig/lang/schema#top"/>
        </someValuesFrom>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#pet_owner"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#pet_owner"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#quality_broadsheet"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#quality_broadsheet"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#red_top"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#red_top"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#sheep"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#sheep"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#sheep"/>
        <allValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#grass"/>
        </allValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#newspaper"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#tiger"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tiger"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#tree"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tree"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#truck"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#truck"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#van_driver"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#van_driver"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
            </someValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#vegetarian"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#vegetarian"/>
        <intersectionOf>
            <allValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
                <complementOf>
                    <someValuesFrom>
                        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
                    </someValuesFrom>
                </complementOf>
            </allValuesFrom>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            <allValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
                <complementOf>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
                </complementOf>
            </allValuesFrom>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#vehicle"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#white_thing"/>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#white_van_man"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#white_van_man"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
                <intersectionOf>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#white_thing"/>
                    <class URI="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
                </intersectionOf>
            </someValuesFrom>
        </intersectionOf>
    </equivalentClasses>
    <subClass>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#white_van_man"/>
        <allValuesFrom>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#reads"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
        </allValuesFrom>
    </subClass>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#woman"/>
    <equivalentClasses>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#woman"/>
        <intersectionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
        </intersectionOf>
    </equivalentClasses>
    <defClass URI="http://owl.man.ac.uk/2005/07/sssw/people#young"/>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eaten_by"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eaten_by"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        </inverse>
    </equivalentProperties>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eaten_by"/>
        </inverse>
    </equivalentProperties>
    <domain>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#eats"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </domain>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_child"/>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_father"/>
    <range>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_father"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#man"/>
    </range>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_mother"/>
    <range>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_mother"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#woman"/>
    </range>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_parent"/>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_part"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_part"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
        </inverse>
    </equivalentProperties>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
        </inverse>
    </equivalentProperties>
    <domain>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    </domain>
    <range>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
    </range>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        </inverse>
    </equivalentProperties>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
    <equivalentProperties>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
        <inverse>
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_part"/>
        </inverse>
    </equivalentProperties>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#reads"/>
    <range>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#reads"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#publication"/>
    </range>
    <defObjectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#works_for"/>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Daily_Mirror"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Daily_Mirror"/>
        <class URI="http://dl.kr.org/dig/lang/schema#top"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Dewey"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Dewey"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#duck"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fido"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fido"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Flossie"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Flossie"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cow"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tiger"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fred"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fred"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fred"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Huey"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Huey"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#duck"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Joe"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Joe"/>
        <maxCardinality num="1">
            <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        </maxCardinality>
    </instanceOf>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Joe"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Joe"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fido"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Kevin"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Kevin"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Kevin"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy"/>
    </value>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Kevin"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Flossie"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Louie"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Louie"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#duck"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#male"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#reads"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Daily_Mirror"/>
    </value>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#drives"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Minnie"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Minnie"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#elderly"/>
    </instanceOf>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Minnie"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#female"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Minnie"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tom"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Pete"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Pete"/>
        <class URI="http://dl.kr.org/dig/lang/schema#top"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#white_thing"/>
    </instanceOf>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#van"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Rex"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Rex"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Rex"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Spike"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Spike"/>
        <class URI="http://dl.kr.org/dig/lang/schema#top"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Spike"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#is_pet_of"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Pete"/>
    </value>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Guardian"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Guardian"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Sun"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Sun"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Times"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Times"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tom"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tom"/>
        <class URI="http://dl.kr.org/dig/lang/schema#top"/>
    </instanceOf>
    <defIndividual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
    <instanceOf>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#person"/>
    </instanceOf>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Dewey"/>
    </value>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Huey"/>
    </value>
    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Louie"/>
    </value>
    <disjoint>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#cat"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#dog"/>
    </disjoint>
    <disjoint>
        <unionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#animal"/>
            </someValuesFrom>
        </unionOf>
        <unionOf>
            <class URI="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
            <someValuesFrom>
                <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#part_of"/>
                <class URI="http://owl.man.ac.uk/2005/07/sssw/people#plant"/>
            </someValuesFrom>
        </unionOf>
    </disjoint>
    <disjoint>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#broadsheet"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#tabloid"/>
    </disjoint>
    <disjoint>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#young"/>
        <class URI="http://owl.man.ac.uk/2005/07/sssw/people#adult"/>
    </disjoint>
    <subProperty>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_father"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_parent"/>
    </subProperty>
    <subProperty>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_mother"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_parent"/>
    </subProperty>
    <subProperty>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#has_pet"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#likes"/>
    </subProperty>
    <different>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Dewey"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fido"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Walt"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Guardian"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Rex"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Sun"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Flossie"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#The_Times"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Kevin"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Mick"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fred"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Huey"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Fluffy"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Tibbs"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Joe"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Louie"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Minnie"/>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Q123_ABC"/>
    </different>
    <range>
        <dataProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#hasNumber"/>
	<datatypeExpression URI="http://www.w3.org/2001/XMLSchema#String"/>
    </range>

    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#X"/>
 	<inverse>
          <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#R"/>
	</inverse>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Y"/>
    </value>

    <value>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#X"/>
	<propertyComposition>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#S"/>
        <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#T"/>
 	<inverse>
          <objectProperty URI="http://owl.man.ac.uk/2005/07/sssw/people#R"/>
	</inverse>
	</propertyComposition>
        <individual URI="http://owl.man.ac.uk/2005/07/sssw/people#Y"/>
    </value>
    
</axioms>

