<?xml version="1.0"?>
<rdf:RDF xmlns="http://uob.iodt.ibm.com/univ-bench-lite.owl#"
     xml:base="http://uob.iodt.ibm.com/univ-bench-lite.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:univ-bench-lite="http://uob.iodt.ibm.com/univ-bench-lite.owl#"
     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#"
     xmlns:localhost="http://localhost/">
    <owl:Ontology rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl">
        <rdfs:label rdf:datatype="http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral">Univ-benchmark Ontology</rdfs:label>
        <rdfs:comment rdf:datatype="http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral">An university ontology for benchmark tests. Language Level: OWL-lite SHIF(D).
   This ontology are built on basis of Lehigh Benchmark Ontology,
   http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl</rdfs:comment>
        <owl:versionInfo rdf:datatype="http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral">univ-bench-lite, ver April 15, 2005</owl:versionInfo>
    </owl:Ontology>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <owl:AnnotationProperty rdf:about="http://www.w3.org/2002/07/owl#versionInfo"/>
    <owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#label"/>
    <owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#comment"/>
    


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

    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#enrollIn -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#enrollIn">
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Department"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isStudentOf"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasAlumnus -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasAlumnus">
        <rdfs:label>has as an alumnus</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#University"/>
        <owl:inverseOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom">
        <rdfs:label>has a degree from</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#University"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDoctoralDegreeFrom -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDoctoralDegreeFrom">
        <rdfs:label>has a doctoral degree from</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#University"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasMasterDegreeFrom -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasMasterDegreeFrom">
        <rdfs:label>has a masters degree from</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#University"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasMember -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasMember">
        <rdfs:label>has as a member</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <owl:inverseOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isMemberOf"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasSameHomeTownWith -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasSameHomeTownWith">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasStudent -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasStudent">
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Student"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasMember"/>
        <owl:inverseOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isStudentOf"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#hasUndergraduateDegreeFrom -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasUndergraduateDegreeFrom">
        <rdfs:label>has an undergraduate degree from</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#University"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#hasDegreeFrom"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isAdvisedBy -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isAdvisedBy">
        <rdfs:label>is being advised by</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isAffiliateOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isAffiliateOf">
        <rdfs:label>is affiliated with</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isAffiliatedOrganizationOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isAffiliatedOrganizationOf">
        <rdfs:label>is affiliated with</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isCrazyAbout -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isCrazyAbout">
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#like"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isFriendOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isFriendOf">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
        <rdfs:label>is a friend of</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isHeadOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isHeadOf">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
        <rdfs:label>is the head of</rdfs:label>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#worksFor"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isMemberOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isMemberOf">
        <rdfs:label>member of</rdfs:label>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isStudentOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isStudentOf">
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Student"/>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isMemberOf"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#isTaughtBy -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#isTaughtBy">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:label>is taught by</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty"/>
        <owl:inverseOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#teacherOf"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#like -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#like">
        <rdfs:label>like</rdfs:label>
        <owl:equivalentProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#love"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#listedCourse -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#listedCourse">
        <rdfs:label>lists as a course</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Schedule"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#love -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#love">
        <rdfs:label>same property with like</rdfs:label>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#orgPublication -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#orgPublication">
        <rdfs:label>publishes</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationAuthor -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationAuthor">
        <rdfs:label>was written by</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationDate -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationDate">
        <rdfs:label>was written on</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationResearch -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#publicationResearch">
        <rdfs:label>is about</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Research"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#researchProject -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#researchProject">
        <rdfs:label>has as a research project</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Research"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchGroup"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#softwareDocumentation -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#softwareDocumentation">
        <rdfs:label>is documented in</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Software"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#softwareVersion -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#softwareVersion">
        <rdfs:label>is version</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Software"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#subOrganizationOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#subOrganizationOf">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label>is part of</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#takesCourse -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#takesCourse">
        <rdfs:label>is taking</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Student"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#teacherOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#teacherOf">
        <rdfs:label>teaches</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#teachingAssistantOf -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#teachingAssistantOf">
        <rdfs:label>is a teaching assistant for</rdfs:label>
        <rdfs:range rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#TeachingAssistant"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#tenured -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#tenured">
        <rdfs:label>is tenured:</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:ObjectProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#worksFor -->

    <owl:ObjectProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#worksFor">
        <rdfs:label>Works For</rdfs:label>
        <rdfs:subPropertyOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isMemberOf"/>
    </owl:ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#age -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#age">
        <rdfs:label>is age</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#emailAddress -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#emailAddress">
        <rdfs:label>can be reached at</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#firstName -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#firstName">
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#lastName -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#lastName">
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#name -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#name">
        <rdfs:label>name</rdfs:label>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#officeNumber -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#officeNumber">
        <rdfs:label>office room No.</rdfs:label>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#researchInterest -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#researchInterest">
        <rdfs:label>is researching</rdfs:label>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#telephone -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#telephone">
        <rdfs:label>telephone number</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:DatatypeProperty>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#title -->

    <owl:DatatypeProperty rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#title">
        <rdfs:label>title</rdfs:label>
        <rdfs:domain rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:DatatypeProperty>
    


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

    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Article -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Article">
        <rdfs:label>article</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#AssistantProfessor -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#AssistantProfessor">
        <rdfs:label>assistant professor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#AssociateProfessor -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#AssociateProfessor">
        <rdfs:label>associate professor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Book -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Book">
        <rdfs:label>book</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Chair -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Chair">
        <rdfs:label>chair</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isHeadOf"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Department"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#ClericalStaff -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#ClericalStaff">
        <rdfs:label>clerical staff worker</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#SupportingStaff"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#College -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#College">
        <rdfs:label>school</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#ConferencePaper -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#ConferencePaper">
        <rdfs:label>conference paper</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Article"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Course -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course">
        <rdfs:label>teaching course</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Work"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Dean -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Dean">
        <rdfs:label>dean</rdfs:label>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isHeadOf"/>
                <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#College"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Department -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Department">
        <rdfs:label>university department</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Director -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Director">
        <rdfs:label>director</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isHeadOf"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Program"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Employee -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Employee">
        <rdfs:label>Employee</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#worksFor"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty">
        <rdfs:label>faculty member</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Employee"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#FullProfessor -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#FullProfessor">
        <rdfs:label>full professor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#GraduateCourse -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#GraduateCourse">
        <rdfs:label>Graduate Level Courses</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#GraduateStudent -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#GraduateStudent">
        <rdfs:label>graduate student</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#takesCourse"/>
                        <owl:allValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#GraduateCourse"/>
                    </owl:Restriction>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#takesCourse"/>
                        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minCardinality>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Institute -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Institute">
        <rdfs:label>institute</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#JournalArticle -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#JournalArticle">
        <rdfs:label>journal article</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Article"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Lecturer -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Lecturer">
        <rdfs:label>lecturer</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Man -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Man">
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Manual -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Manual">
        <rdfs:label>manual</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Music -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Music">
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization">
        <rdfs:label>organization</rdfs:label>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#PeopleWithHobby -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#PeopleWithHobby">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#like"/>
                        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minCardinality>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Person -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person">
        <rdfs:label>person</rdfs:label>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#PostDoc -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#PostDoc">
        <rdfs:label>post doctorate</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor">
        <rdfs:label>professor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Faculty"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Program -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Program">
        <rdfs:label>program</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication">
        <rdfs:label>publication</rdfs:label>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Research -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Research">
        <rdfs:label>research work</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Work"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchAssistant -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchAssistant">
        <rdfs:label>university research assistant</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#worksFor"/>
                <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchGroup"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchGroup -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#ResearchGroup">
        <rdfs:label>research group</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Schedule -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Schedule">
        <rdfs:label>schedule</rdfs:label>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Software -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Software">
        <rdfs:label>software program</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Specification -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Specification">
        <rdfs:label>published specification</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports">
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#SportsFan -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#SportsFan">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isCrazyAbout"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#SportsLover -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#SportsLover">
        <rdfs:label>People who like Sports</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#like"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Student -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Student">
        <rdfs:label>student</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#isStudentOf"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#SupportingStaff -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#SupportingStaff">
        <rdfs:label>administrative staff worker</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Employee"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#SystemsStaff -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#SystemsStaff">
        <rdfs:label>systems staff worker</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#SupportingStaff"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#TeachingAssistant -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#TeachingAssistant">
        <rdfs:label>university teaching assistant</rdfs:label>
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#teachingAssistantOf"/>
                        <owl:someValuesFrom rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Course"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#TechnicalReport -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#TechnicalReport">
        <rdfs:label>technical report</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Article"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#UndergraduateStudent -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#UndergraduateStudent">
        <rdfs:label>undergraduate student</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Student"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#University -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#University">
        <rdfs:label>university</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Organization"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#UnofficialPublication -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#UnofficialPublication">
        <rdfs:label>unnoficial publication</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Publication"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#VisitingProfessor -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#VisitingProfessor">
        <rdfs:label>visiting professor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Professor"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Woman -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Woman">
        <rdfs:subClassOf rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Person"/>
    </owl:Class>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Work -->

    <owl:Class rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Work">
        <rdfs:label>Work</rdfs:label>
    </owl:Class>
    


    <!-- http://www.w3.org/2002/07/owl#Thing -->

    <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
    


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

    


    <!-- http://localhost/extindividual37 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual37">
        <isTaughtBy rdf:resource="http://localhost/extindividual38"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual39"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual38 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual38"/>
    


    <!-- http://localhost/extindividual39 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual39"/>
    


    <!-- http://localhost/extindividual40 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual40">
        <isTaughtBy rdf:resource="http://localhost/extindividual41"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual42"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual41 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual41"/>
    


    <!-- http://localhost/extindividual42 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual42"/>
    


    <!-- http://localhost/extindividual43 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual43">
        <isTaughtBy rdf:resource="http://localhost/extindividual44"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual45"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual44 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual44"/>
    


    <!-- http://localhost/extindividual45 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual45"/>
    


    <!-- http://localhost/extindividual46 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual46">
        <isTaughtBy rdf:resource="http://localhost/extindividual47"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual48"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual47 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual47"/>
    


    <!-- http://localhost/extindividual48 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual48"/>
    


    <!-- http://localhost/extindividual49 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual49">
        <isHeadOf rdf:resource="http://localhost/extindividual50"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual50 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual50"/>
    


    <!-- http://localhost/extindividual51 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual51">
        <isHeadOf rdf:resource="http://localhost/extindividual50"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual52 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual52">
        <isHeadOf rdf:resource="http://localhost/extindividual53"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual53 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual53"/>
    


    <!-- http://localhost/extindividual54 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual54">
        <isHeadOf rdf:resource="http://localhost/extindividual53"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual55 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual55">
        <isTaughtBy rdf:resource="http://localhost/extindividual56"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual57"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual56 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual56"/>
    


    <!-- http://localhost/extindividual57 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual57"/>
    


    <!-- http://localhost/extindividual58 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual58">
        <isTaughtBy rdf:resource="http://localhost/extindividual59"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual60"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual59 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual59"/>
    


    <!-- http://localhost/extindividual60 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual60"/>
    


    <!-- http://localhost/extindividual61 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual61">
        <isTaughtBy rdf:resource="http://localhost/extindividual62"/>
        <isTaughtBy rdf:resource="http://localhost/extindividual63"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual62 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual62"/>
    


    <!-- http://localhost/extindividual63 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual63"/>
    


    <!-- http://localhost/extindividual64 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual64">
        <isHeadOf rdf:resource="http://localhost/extindividual65"/>
    </owl:NamedIndividual>
    


    <!-- http://localhost/extindividual65 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual65"/>
    


    <!-- http://localhost/extindividual66 -->

    <owl:NamedIndividual rdf:about="http://localhost/extindividual66">
        <isHeadOf rdf:resource="http://localhost/extindividual65"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#AmericanFootball -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#AmericanFootball">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>AmericanFootball</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Baseball -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Baseball">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>Baseball</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#BasketBall -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#BasketBall">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>BasketBall</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Classic_Music -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Classic_Music">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Music"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Kickboxing -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Kickboxing">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>Kickboxing</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Movie -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Movie">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#PC_Game -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#PC_Game">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Painting -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Painting">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Pop_Music -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Pop_Music">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Music"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Reading -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Reading">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Rock_and_Roll -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Rock_and_Roll">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Music"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Shopping -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Shopping">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Soccer -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Soccer">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>Soccer</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#StampCollecting -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#StampCollecting">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Swimming -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Swimming">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>Swimming</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Tennis -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Tennis">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Sports"/>
        <rdfs:label>Tennis</rdfs:label>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Travelling -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Travelling">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


    <!-- http://uob.iodt.ibm.com/univ-bench-lite.owl#Video_Game -->

    <owl:NamedIndividual rdf:about="http://uob.iodt.ibm.com/univ-bench-lite.owl#Video_Game">
        <rdf:type rdf:resource="http://uob.iodt.ibm.com/univ-bench-lite.owl#Insterest"/>
    </owl:NamedIndividual>
    


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

    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://localhost/extindividual56"/>
            <rdf:Description rdf:about="http://localhost/extindividual57"/>
        </owl:distinctMembers>
    </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://localhost/extindividual44"/>
            <rdf:Description rdf:about="http://localhost/extindividual45"/>
        </owl:distinctMembers>
    </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://localhost/extindividual47"/>
            <rdf:Description rdf:about="http://localhost/extindividual48"/>
        </owl:distinctMembers>
    </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://localhost/extindividual41"/>
            <rdf:Description rdf:about="http://localhost/extindividual42"/>
        </owl:distinctMembers>
    </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://localhost/extindividual52"/>
            <rdf:Description rdf:about="http://localhost/extindividual54"/>
        </owl:distinctMembers>
    </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://localhost/extindividual38"/>
            <rdf:Description rdf:about="http://localhost/extindividual39"/>
        </owl:distinctMembers>
    </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://localhost/extindividual59"/>
            <rdf:Description rdf:about="http://localhost/extindividual60"/>
        </owl:distinctMembers>
    </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://localhost/extindividual62"/>
            <rdf:Description rdf:about="http://localhost/extindividual63"/>
        </owl:distinctMembers>
    </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://localhost/extindividual64"/>
            <rdf:Description rdf:about="http://localhost/extindividual66"/>
        </owl:distinctMembers>
    </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://localhost/extindividual49"/>
            <rdf:Description rdf:about="http://localhost/extindividual51"/>
        </owl:distinctMembers>
    </rdf:Description>
</rdf:RDF>



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

