<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#"
     xml:base="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/grandparent.owl"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasFather -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasFather">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:range rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Man"/>
        <rdfs:domain rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <rdfs:subPropertyOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasParent"/>
        <owl:inverseOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isFatherOf"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasMother -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasMother">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:domain rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <rdfs:range rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman"/>
        <rdfs:subPropertyOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasParent"/>
        <owl:inverseOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isMotherOf"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasParent -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasParent">
        <rdfs:domain rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <rdfs:range rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <owl:inverseOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasSex -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasSex">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:domain rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <rdfs:range rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex"/>
        <owl:inverseOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isSexOf"/>
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isFatherOf -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isFatherOf"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isMotherOf -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isMotherOf"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isSexOf -->

    <owl:ObjectProperty rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isSexOf"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#DomainEntity -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#DomainEntity"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Female -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Female">
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex"/>
        <owl:disjointWith rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Male"/>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#GrandparentOfRDS -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#GrandparentOfRDS">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                        <owl:someValuesFrom>
                            <owl:Class>
                                <owl:intersectionOf rdf:parseType="Collection">
                                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                                    <owl:Restriction>
                                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                                        <owl:hasValue rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rds"/>
                                    </owl:Restriction>
                                </owl:intersectionOf>
                            </owl:Class>
                        </owl:someValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#GrandparentOfRJS -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#GrandparentOfRJS">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                        <owl:someValuesFrom>
                            <owl:Class>
                                <owl:intersectionOf rdf:parseType="Collection">
                                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                                    <owl:Restriction>
                                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                                        <owl:hasValue rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rjs"/>
                                    </owl:Restriction>
                                </owl:intersectionOf>
                            </owl:Class>
                        </owl:someValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Male -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Male">
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex"/>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Man -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Man">
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
        <owl:disjointWith rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman"/>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ParentOfRDS -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ParentOfRDS">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                        <owl:hasValue rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rds"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ParentOfRJS -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ParentOfRJS">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#isParentOf"/>
                        <owl:hasValue rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rjs"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person">
        <owl:equivalentClass>
            <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Man"/>
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman"/>
                </owl:unionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#DomainEntity"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasSex"/>
                <owl:someValuesFrom rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasParent"/>
                <owl:onClass rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
                <owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasFather"/>
                <owl:someValuesFrom rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Man"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#hasMother"/>
                <owl:someValuesFrom rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <owl:disjointWith rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex"/>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Sex">
        <owl:equivalentClass>
            <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Female"/>
                    <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Male"/>
                </owl:unionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#DomainEntity"/>
    </owl:Class>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman -->

    <owl:Class rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Woman">
        <rdfs:subClassOf rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#Person"/>
    </owl:Class>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#chr -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#chr"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ds -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ds">
        <hasMother rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ieb"/>
        <hasFather rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#wgs"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ieb -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ieb"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#mgs -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#mgs">
        <hasFather rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#chr"/>
        <hasMother rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#vsm"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rds -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rds">
        <hasFather rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ds"/>
        <hasMother rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#mgs"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rjs -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rjs">
        <hasFather rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ds"/>
        <hasMother rdf:resource="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#mgs"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#vsm -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#vsm"/>
    


    <!-- http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#wgs -->

    <owl:NamedIndividual rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#wgs"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // General axioms
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
        <owl:members rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#chr"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ds"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#ieb"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#mgs"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rds"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#rjs"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#vsm"/>
            <rdf:Description rdf:about="http://www.cs.man.ac.uk/~stevensr/ontology/f-test.owl#wgs"/>
        </owl:distinctMembers>
    </rdf:Description>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.2.3.1787) http://owlapi.sourceforge.net -->

