<?xml version="1.0"?>


<!DOCTYPE Ontology [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
    <!ENTITY ontologies "http://ebiquity.umbc.edu/ontologies/" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<Ontology xmlns="http://www.w3.org/2006/12/owl2-xml#"
     xml:base="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:ontologies="http://ebiquity.umbc.edu/ontologies/"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     URI="&ontologies;2009/2/peep.owl">
    <SubClassOf>
        <Class URI="&ontologies;Adult"/>
        <Class URI="&ontologies;Person"/>
    </SubClassOf>
    <EquivalentClasses>
        <Class URI="&ontologies;Boy"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;Child"/>
            <Class URI="&ontologies;MaleThing"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <SubClassOf>
        <Class URI="&ontologies;Child"/>
        <Class URI="&ontologies;Person"/>
    </SubClassOf>
    <EquivalentClasses>
        <Class URI="&ontologies;FemalePerson"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;FemaleThing"/>
            <Class URI="&ontologies;Person"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <EquivalentClasses>
        <Class URI="&ontologies;FemaleThing"/>
        <ObjectHasValue>
            <ObjectProperty URI="&ontologies;sex"/>
            <Individual URI="&ontologies;female"/>
        </ObjectHasValue>
    </EquivalentClasses>
    <SubClassOf>
        <Class URI="&ontologies;FemaleThing"/>
        <Class URI="&owl;Thing"/>
    </SubClassOf>
    <DisjointClasses>
        <Class URI="&ontologies;FemaleThing"/>
        <Class URI="&ontologies;MaleThing"/>
    </DisjointClasses>
    <EquivalentClasses>
        <Class URI="&ontologies;Girl"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;Child"/>
            <Class URI="&ontologies;FemaleThing"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <EquivalentClasses>
        <Class URI="&ontologies;MalePerson"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;MaleThing"/>
            <Class URI="&ontologies;Person"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <EquivalentClasses>
        <Class URI="&ontologies;MaleThing"/>
        <ObjectHasValue>
            <ObjectProperty URI="&ontologies;sex"/>
            <Individual URI="&ontologies;male"/>
        </ObjectHasValue>
    </EquivalentClasses>
    <SubClassOf>
        <Class URI="&ontologies;MaleThing"/>
        <Class URI="&owl;Thing"/>
    </SubClassOf>
    <SubClassOf>
        <Class URI="&ontologies;Person"/>
        <Class URI="&owl;Thing"/>
    </SubClassOf>
    <SubClassOf>
        <Class URI="&ontologies;SexType"/>
        <Class URI="&owl;Thing"/>
    </SubClassOf>
    <EquivalentClasses>
        <Class URI="&ontologies;man"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;Adult"/>
            <Class URI="&ontologies;MalePerson"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <EquivalentClasses>
        <Class URI="&ontologies;woman"/>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;Adult"/>
            <Class URI="&ontologies;FemalePerson"/>
        </ObjectIntersectionOf>
    </EquivalentClasses>
    <FunctionalObjectProperty>
        <ObjectProperty URI="&ontologies;sex"/>
    </FunctionalObjectProperty>
    <ClassAssertion>
        <Class URI="&ontologies;SexType"/>
        <Individual URI="&ontologies;female"/>
    </ClassAssertion>
    <ClassAssertion>
        <Class URI="&ontologies;Person"/>
        <Individual URI="&ontologies;john"/>
    </ClassAssertion>
    <ObjectPropertyAssertion>
        <ObjectProperty URI="&ontologies;sex"/>
        <Individual URI="&ontologies;john"/>
        <Individual URI="&ontologies;male"/>
    </ObjectPropertyAssertion>
    <ClassAssertion>
        <Class URI="&ontologies;SexType"/>
        <Individual URI="&ontologies;male"/>
    </ClassAssertion>
    <DifferentIndividuals>
        <Individual URI="&ontologies;male"/>
        <Individual URI="&ontologies;female"/>
    </DifferentIndividuals>
    <ObjectPropertyAssertion>
        <ObjectProperty URI="&ontologies;sex"/>
        <Individual URI="&ontologies;male"/>
        <Individual URI="&ontologies;male"/>
    </ObjectPropertyAssertion>
    <ClassAssertion>
        <ObjectIntersectionOf>
            <Class URI="&ontologies;FemaleThing"/>
            <Class URI="&ontologies;Person"/>
        </ObjectIntersectionOf>
        <Individual URI="&ontologies;mary"/>
    </ClassAssertion>
</Ontology>



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

