@prefix : <http://www.cadmos.cirma.unito.it/untitled-ontology-55#> .
@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#> .
@base <http://www.cadmos.cirma.unito.it/untitled-ontology-55> .

<http://www.cadmos.cirma.unito.it/untitled-ontology-55> rdf:type owl:Ontology .


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


###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#faCucina

:faCucina rdf:type owl:ObjectProperty ;
          
          rdfs:range :Cucina ;
          
          rdfs:domain :Ristorante .





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


###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#haCoperti

:haCoperti rdf:type owl:DatatypeProperty ;
           
           rdfs:domain :Ristorante ;
           
           rdfs:range xsd:integer .





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


###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Cinese

:Cinese rdf:type owl:Class ;
        
        rdfs:subClassOf :Cucina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Cucina

:Cucina rdf:type owl:Class .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#DiPesce

:DiPesce rdf:type owl:Class ;
         
         rdfs:subClassOf :Cucina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Giapponese

:Giapponese rdf:type owl:Class ;
            
            rdfs:subClassOf :Cucina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Piemontese

:Piemontese rdf:type owl:Class ;
            
            rdfs:subClassOf :Cucina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Ristorante

:Ristorante rdf:type owl:Class .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#RistoranteOrientale

:RistoranteOrientale rdf:type owl:Class ;
                     
                     owl:equivalentClass [ rdf:type owl:Restriction ;
                                           owl:onProperty :faCucina ;
                                           owl:someValuesFrom :Thai
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :faCucina ;
                                           owl:someValuesFrom :Giapponese
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :faCucina ;
                                           owl:someValuesFrom :Cinese
                                         ] ;
                     
                     rdfs:subClassOf :Ristorante .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Thai

:Thai rdf:type owl:Class ;
      
      rdfs:subClassOf :Cucina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Toscana

:Toscana rdf:type owl:Class ;
         
         rdfs:subClassOf :Cucina .





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


###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Bartolo

:Bartolo rdf:type :Piemontese ,
                  owl:NamedIndividual ;
         
         :faCucina :Fiorentina .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Cantonese

:Cantonese rdf:type :Cinese ,
                    owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Curry

:Curry rdf:type :Thai ,
                owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Fiorentina

:Fiorentina rdf:type :Toscana ,
                     owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Livornese

:Livornese rdf:type :Toscana ,
                    owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Noodles

:Noodles rdf:type :Thai ,
                  owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Sushi

:Sushi rdf:type :Giapponese ,
                owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Teppanyaki

:Teppanyaki rdf:type :Giapponese ,
                     owl:NamedIndividual .



###  http://www.cadmos.cirma.unito.it/untitled-ontology-55#Tokyo

:Tokyo rdf:type :Ristorante ,
                owl:NamedIndividual ;
       
       :faCucina :Sushi .





#################################################################
#
#    General axioms
#
#################################################################


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Cinese
                :DiPesce
                :Giapponese
                :Piemontese
                :Thai
                :Toscana
              )
] .




###  Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net