@prefix : <http://www.unical.it/lise/ontologies/logica/progettoGuzzo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix prog1: <http://www.unical.it/lise/ontologies/logica/progettoGuzzo#> .
@base <http://www.unical.it/lise/ontologies/logica/casoStudio> .

<http://www.unical.it/lise/ontologies/logica/casoStudio> rdf:type owl:Ontology .

#################################################################
#    Object Properties
#################################################################

###  http://www.unical.it/lise/ontologies/logica/casoStudio#appartieneA
:appartieneA rdf:type owl:ObjectProperty ,
                      owl:FunctionalProperty ;
             rdfs:domain :Libro ;
             rdfs:range :Collana .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#distribuitoIn
:distribuitoIn rdf:type owl:ObjectProperty ;
               rdfs:domain :Libro ;
               rdfs:range :AreaGeografica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#haAutore
:haAutore rdf:type owl:ObjectProperty ;
          rdfs:domain :Opera ;
          rdfs:range :Autore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#haCodice
:haCodice rdf:type owl:ObjectProperty ,
                   owl:SymmetricProperty ;
          rdfs:domain :Opera ;
          rdfs:range :Codice .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#haCuratore
:haCuratore rdf:type owl:ObjectProperty ;
            rdfs:domain :Collana ;
            rdfs:range :Curatore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#haEditore
:haEditore rdf:type owl:ObjectProperty ,
                    owl:FunctionalProperty ;
           rdfs:domain :Libro ;
           rdfs:range :Editore .


#################################################################
#    Data properties
#################################################################

###  http://www.unical.it/lise/ontologies/logica/casoStudio#luogo
:luogo rdf:type owl:DatatypeProperty ;
       rdfs:domain :Libro ;
       rdfs:range xsd:string .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#pagine
:pagine rdf:type owl:DatatypeProperty ;
        rdfs:domain :Opera ;
        rdfs:range xsd:int .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#prezzo
:prezzo rdf:type owl:DatatypeProperty ;
        rdfs:domain :Opera ;
        rdfs:range xsd:float .


#################################################################
#    Classes
#################################################################

###  http://www.unical.it/lise/ontologies/logica/casoStudio#AreaGeografica
:AreaGeografica rdf:type owl:Class .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Autore
:Autore rdf:type owl:Class ;
        rdfs:subClassOf :Persona .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Codice
:Codice rdf:type owl:Class .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Collana
:Collana rdf:type owl:Class ;
         rdfs:subClassOf :Libro .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#CollanaEconomica
:CollanaEconomica rdf:type owl:Class ;
                  rdfs:subClassOf :Collana ;
                  owl:disjointWith :CollanaLetteraria ,
                                   :CollanaScientifica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#CollanaLetteraria
:CollanaLetteraria rdf:type owl:Class ;
                   rdfs:subClassOf :Collana ;
                   owl:disjointWith :CollanaScientifica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#CollanaScientifica
:CollanaScientifica rdf:type owl:Class ;
                    rdfs:subClassOf :Collana .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Curatore
:Curatore rdf:type owl:Class ;
          rdfs:subClassOf :Persona .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Editore
:Editore rdf:type owl:Class .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Libro
:Libro rdf:type owl:Class .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#LibroEconomico
:LibroEconomico rdf:type owl:Class ;
                owl:equivalentClass [ rdf:type owl:Restriction ;
                                      owl:onProperty :appartieneA ;
                                      owl:someValuesFrom :CollanaEconomica
                                    ] ;
                rdfs:subClassOf :Opera .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#LibroLetterario
:LibroLetterario rdf:type owl:Class ;
                 owl:equivalentClass [ rdf:type owl:Restriction ;
                                       owl:onProperty :appartieneA ;
                                       owl:someValuesFrom :CollanaLetteraria
                                     ] ;
                 rdfs:subClassOf :Opera .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#LibroScientifico
:LibroScientifico rdf:type owl:Class ;
                  owl:equivalentClass [ rdf:type owl:Restriction ;
                                        owl:onProperty :appartieneA ;
                                        owl:someValuesFrom :CollanaScientifica
                                      ] ;
                  rdfs:subClassOf :Opera .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Opera
:Opera rdf:type owl:Class ;
       rdfs:subClassOf :Libro .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Persona
:Persona rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://www.unical.it/lise/ontologies/logica/casoStudio#A1
:A1 rdf:type owl:NamedIndividual ,
             :Codice .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#A2
:A2 rdf:type owl:NamedIndividual ,
             :Codice .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#A3
:A3 rdf:type owl:NamedIndividual ,
             :Codice .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#ABC_of_computer
:ABC_of_computer rdf:type owl:NamedIndividual ,
                          :Libro ;
                 :appartieneA :A_guide_to_Computer_Science ;
                 :distribuitoIn :Inghilterra ;
                 :haAutore :Shelley_Lipson ;
                 :haCodice :A1 ;
                 :pagine "230"^^xsd:int ;
                 :prezzo "22.7"^^xsd:float .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#A_guide_to_Computer_Science
:A_guide_to_Computer_Science rdf:type owl:NamedIndividual ,
                                      :CollanaScientifica ;
                             :haCuratore :William_Smith ;
                             :haEditore :Library_Binding ;
                             :luogo "Londra"^^xsd:string .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#ECIG
:ECIG rdf:type owl:NamedIndividual ,
               :Editore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Feltrinelli
:Feltrinelli rdf:type owl:NamedIndividual ,
                      :Editore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Giorgio_Rampa
:Giorgio_Rampa rdf:type owl:NamedIndividual ,
                        :Autore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Inghilterra
:Inghilterra rdf:type owl:NamedIndividual ,
                      :AreaGeografica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Italia
:Italia rdf:type owl:NamedIndividual ,
                 :AreaGeografica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Letteratura_moderna
:Letteratura_moderna rdf:type owl:NamedIndividual ,
                              :CollanaLetteraria ;
                     :haCuratore :Stefano_Cosma ;
                     :haEditore :Feltrinelli ;
                     :luogo "Roma"^^xsd:string .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Library_Binding
:Library_Binding rdf:type owl:NamedIndividual ,
                          :Editore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Luigi_Pirandello
:Luigi_Pirandello rdf:type owl:NamedIndividual ,
                           :Autore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Marco_Neri
:Marco_Neri rdf:type owl:NamedIndividual ,
                     :Curatore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Nuova_Economia
:Nuova_Economia rdf:type owl:NamedIndividual ,
                         :CollanaEconomica ;
                :haCuratore :Marco_Neri ;
                :haEditore :Feltrinelli ;
                :luogo "Milano"^^xsd:string .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Principi_di_macroeconomia
:Principi_di_macroeconomia rdf:type owl:NamedIndividual ,
                                    :Libro ;
                           :appartieneA :Nuova_Economia ;
                           :distribuitoIn :Italia ;
                           :haAutore :Giorgio_Rampa ;
                           :haCodice :A3 ;
                           :pagine "350"^^xsd:int ;
                           :prezzo "25.6"^^xsd:float .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Shelley_Lipson
:Shelley_Lipson rdf:type owl:NamedIndividual ,
                         :Autore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Stefano_Cosma
:Stefano_Cosma rdf:type owl:NamedIndividual ,
                        :Curatore .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Svizzera
:Svizzera rdf:type owl:NamedIndividual ,
                   :AreaGeografica .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#Uno_nessuno_centomila
:Uno_nessuno_centomila rdf:type owl:NamedIndividual ,
                                :Libro ;
                       :appartieneA :Letteratura_moderna ;
                       :distribuitoIn :Italia ,
                                      :Svizzera ;
                       :haAutore :Luigi_Pirandello ;
                       :haCodice :A2 ;
                       :luogo "Roma"^^xsd:string ;
                       :pagine "140"^^xsd:int ;
                       :prezzo "10.9"^^xsd:float .


###  http://www.unical.it/lise/ontologies/logica/casoStudio#William_Smith
:William_Smith rdf:type owl:NamedIndividual ,
                        :Curatore .


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