<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY untitled-ontology-56 "http://www.cadmos.cirma.unito.it/untitled-ontology-56#" >
]>


<rdf:RDF xmlns="http://www.cadmos.cirma.unito.it/untitled-ontology-56#"
     xml:base="http://www.cadmos.cirma.unito.it/untitled-ontology-56"
     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#"
     xmlns:untitled-ontology-56="http://www.cadmos.cirma.unito.it/untitled-ontology-56#">
    <owl:Ontology rdf:about="http://www.cadmos.cirma.unito.it/untitled-ontology-56"/>
    


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

    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#frequenta -->

    <owl:ObjectProperty rdf:about="&untitled-ontology-56;frequenta">
        <rdfs:range rdf:resource="&untitled-ontology-56;Scuola"/>
        <rdfs:domain rdf:resource="&untitled-ontology-56;Studente"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#genitoreDi -->

    <owl:ObjectProperty rdf:about="&untitled-ontology-56;genitoreDi">
        <rdfs:domain rdf:resource="&untitled-ontology-56;Genitore"/>
        <rdfs:range rdf:resource="&untitled-ontology-56;Studente"/>
        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#insegna -->

    <owl:ObjectProperty rdf:about="&untitled-ontology-56;insegna">
        <rdfs:domain rdf:resource="&untitled-ontology-56;Docente"/>
        <rdfs:range rdf:resource="&untitled-ontology-56;Scuola"/>
    </owl:ObjectProperty>
    


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

    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#sezione -->

    <owl:DatatypeProperty rdf:about="&untitled-ontology-56;sezione">
        <rdfs:domain rdf:resource="&untitled-ontology-56;Scuola"/>
        <rdfs:range rdf:resource="&xsd;integer"/>
    </owl:DatatypeProperty>
    


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

    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Docente -->

    <owl:Class rdf:about="&untitled-ontology-56;Docente">
        <owl:disjointWith rdf:resource="&untitled-ontology-56;Studente"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#DocenteScuolaSecondaria -->

    <owl:Class rdf:about="&untitled-ontology-56;DocenteScuolaSecondaria">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&untitled-ontology-56;insegna"/>
                <owl:someValuesFrom rdf:resource="&untitled-ontology-56;Secondaria"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Docente"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Genitore -->

    <owl:Class rdf:about="&untitled-ontology-56;Genitore"/>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#GenitorePrimaria -->

    <owl:Class rdf:about="&untitled-ontology-56;GenitorePrimaria">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&untitled-ontology-56;genitoreDi"/>
                <owl:someValuesFrom rdf:resource="&untitled-ontology-56;StudentePrimaria"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Genitore"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Prima -->

    <owl:Class rdf:about="&untitled-ontology-56;Prima">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Primaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#PrimaMedia -->

    <owl:Class rdf:about="&untitled-ontology-56;PrimaMedia">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Secondaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Primaria -->

    <owl:Class rdf:about="&untitled-ontology-56;Primaria">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Scuola"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Quinta -->

    <owl:Class rdf:about="&untitled-ontology-56;Quinta">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Primaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Scuola -->

    <owl:Class rdf:about="&untitled-ontology-56;Scuola"/>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Seconda -->

    <owl:Class rdf:about="&untitled-ontology-56;Seconda">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Primaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#SecondaMedia -->

    <owl:Class rdf:about="&untitled-ontology-56;SecondaMedia">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Secondaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Secondaria -->

    <owl:Class rdf:about="&untitled-ontology-56;Secondaria">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Scuola"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Studente -->

    <owl:Class rdf:about="&untitled-ontology-56;Studente"/>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#StudentePrimaria -->

    <owl:Class rdf:about="&untitled-ontology-56;StudentePrimaria">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&untitled-ontology-56;frequenta"/>
                <owl:someValuesFrom rdf:resource="&untitled-ontology-56;Primaria"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Studente"/>
        <owl:disjointWith rdf:resource="&untitled-ontology-56;StudenteSecondaria"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#StudenteSecondaria -->

    <owl:Class rdf:about="&untitled-ontology-56;StudenteSecondaria">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&untitled-ontology-56;frequenta"/>
                <owl:someValuesFrom rdf:resource="&untitled-ontology-56;Secondaria"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Studente"/>
    </owl:Class>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#TerzaMedia -->

    <owl:Class rdf:about="&untitled-ontology-56;TerzaMedia">
        <rdfs:subClassOf rdf:resource="&untitled-ontology-56;Secondaria"/>
    </owl:Class>
    


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

    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#1e -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;1e">
        <rdf:type rdf:resource="&untitled-ontology-56;PrimaMedia"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#2b -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;2b">
        <rdf:type rdf:resource="&untitled-ontology-56;Quinta"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#3a -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;3a">
        <rdf:type rdf:resource="&untitled-ontology-56;Quinta"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#5a -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;5a">
        <rdf:type rdf:resource="&untitled-ontology-56;Quinta"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Anna -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Anna">
        <rdf:type rdf:resource="&untitled-ontology-56;Studente"/>
        <frequenta rdf:resource="&untitled-ontology-56;2b"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Carlo -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Carlo">
        <rdf:type rdf:resource="&untitled-ontology-56;Studente"/>
        <frequenta rdf:resource="&untitled-ontology-56;1e"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Giacomo -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Giacomo">
        <rdf:type rdf:resource="&untitled-ontology-56;Genitore"/>
        <genitoreDi rdf:resource="&untitled-ontology-56;Carlo"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#GiovannaBianchi -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;GiovannaBianchi">
        <rdf:type rdf:resource="&untitled-ontology-56;Docente"/>
        <insegna rdf:resource="&untitled-ontology-56;1e"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Giulia -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Giulia">
        <rdf:type rdf:resource="&untitled-ontology-56;Studente"/>
        <frequenta rdf:resource="&untitled-ontology-56;5a"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Margherita -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Margherita">
        <rdf:type rdf:resource="&untitled-ontology-56;Studente"/>
        <frequenta rdf:resource="&untitled-ontology-56;5a"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#MarioRossi -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;MarioRossi">
        <rdf:type rdf:resource="&untitled-ontology-56;Docente"/>
        <insegna rdf:resource="&untitled-ontology-56;3a"/>
    </owl:NamedIndividual>
    


    <!-- http://www.cadmos.cirma.unito.it/untitled-ontology-56#Rossana -->

    <owl:NamedIndividual rdf:about="&untitled-ontology-56;Rossana">
        <rdf:type rdf:resource="&untitled-ontology-56;Genitore"/>
        <genitoreDi rdf:resource="&untitled-ontology-56;Anna"/>
        <genitoreDi rdf:resource="&untitled-ontology-56;Margherita"/>
    </owl:NamedIndividual>
    


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

    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="&untitled-ontology-56;Giulia"/>
            <rdf:Description rdf:about="&untitled-ontology-56;Margherita"/>
        </owl:distinctMembers>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="&untitled-ontology-56;Anna"/>
            <rdf:Description rdf:about="&untitled-ontology-56;Margherita"/>
        </owl:distinctMembers>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="&untitled-ontology-56;Anna"/>
            <rdf:Description rdf:about="&untitled-ontology-56;Giulia"/>
        </owl:distinctMembers>
    </rdf:Description>
</rdf:RDF>



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

