<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.tecgraf.puc-rio.br/~clinio/ontology/university.owl#"
     xml:base="http://www.tecgraf.puc-rio.br/~clinio/ontology/university.owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:university="http://www.tecgraf.puc-rio.br/~clinio/ontology/university.owl#"
     xmlns:university1="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl"/>
    


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

    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#studies -->

    <owl:ObjectProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#studies">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        <rdfs:range rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module"/>
    </owl:ObjectProperty>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#teaches -->

    <owl:ObjectProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#teaches">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer"/>
        <rdfs:range rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module"/>
    </owl:ObjectProperty>
    


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

    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#firstName -->

    <owl:DatatypeProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#firstName">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#lastName -->

    <owl:DatatypeProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#lastName">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#staffId -->

    <owl:DatatypeProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#staffId">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#studentId -->

    <owl:DatatypeProperty rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#studentId">
        <rdfs:domain rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    </owl:DatatypeProperty>
    


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

    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CSModule -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CSModule">
        <rdfs:subClassOf rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module"/>
    </owl:Class>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer">
        <rdfs:subClassOf rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person"/>
    </owl:Class>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule">
        <rdfs:subClassOf rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module"/>
    </owl:Class>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Module"/>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person"/>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student -->

    <owl:Class rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student">
        <rdfs:subClassOf rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Person"/>
    </owl:Class>
    


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

    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.1 -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.1">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CSModule"/>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.2 -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.2">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CSModule"/>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Celes -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Celes">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer"/>
        <university1:teaches rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.1"/>
        <university1:teaches rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.1"/>
        <university1:teaches rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.2"/>
        <university1:firstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Waldemar</university1:firstName>
        <university1:lastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Celes</university1:lastName>
        <university1:staffId rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">02</university1:staffId>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Clinio -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Clinio">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        <university1:studies rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.1"/>
        <university1:studies rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.2"/>
        <university1:firstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">André</university1:firstName>
        <university1:lastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Clinio</university1:lastName>
        <university1:studentId rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">8910289</university1:studentId>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Gattass -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Gattass">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer"/>
        <university1:teaches rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CS2017.2"/>
        <university1:teaches rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2017.1"/>
        <university1:firstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Marcelo</university1:firstName>
        <university1:lastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Gattass</university1:lastName>
        <university1:staffId rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">01</university1:staffId>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Julia -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Julia">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        <university1:studies rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2017.1"/>
        <university1:firstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Maria Júlia</university1:firstName>
        <university1:lastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Lima</university1:lastName>
        <university1:studentId rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">9018921</university1:studentId>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.1 -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.1">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule"/>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.2 -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2016.2">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule"/>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2017.1 -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#M2017.1">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule"/>
    </owl:NamedIndividual>
    


    <!-- http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Rodnei -->

    <owl:NamedIndividual rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Rodnei">
        <rdf:type rdf:resource="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        <university1:firstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Rodnei</university1:firstName>
        <university1:lastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Couto</university1:lastName>
        <university1:studentId rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">1231122</university1:studentId>
    </owl:NamedIndividual>
    


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

    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#CSModule"/>
            <rdf:Description rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Lecturer"/>
            <rdf:Description rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#MathModule"/>
            <rdf:Description rdf:about="http://www.tecgraf.puc-rio.br/~clinio/ontologies/university.owl#Student"/>
        </owl:members>
    </rdf:Description>
</rdf:RDF>



<!-- Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi -->

