@prefix : <http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#> .
@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.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#> .

<http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> rdf:type owl:AnnotationProperty .


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

###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#compran
:compran rdf:type owl:ObjectProperty ;
         owl:inverseOf :esVendidoA .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destino
:destino rdf:type owl:ObjectProperty ;
         rdfs:domain :PaqueteTuristico ;
         rdfs:range :DestinoTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#esVendidoA
:esVendidoA rdf:type owl:ObjectProperty ;
            rdfs:domain :PaqueteTuristico ;
            rdfs:range :Turista .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#genero
:genero rdf:type owl:ObjectProperty ;
        rdfs:domain :Turista ;
        rdfs:range :Genero .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ofrece
:ofrece rdf:type owl:ObjectProperty ;
        owl:inverseOf :ofrecidoPor .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ofreceActividad
:ofreceActividad rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf :ofrece ;
                 rdfs:domain [ rdf:type owl:Class ;
                               owl:unionOf ( :Alojamiento
                                             :PaqueteTuristico
                                             :Ubicacion
                                           )
                             ] ;
                 rdfs:range :Actividad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ofreceHospedaje
:ofreceHospedaje rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf :ofrece ;
                 rdfs:domain [ rdf:type owl:Class ;
                               owl:unionOf ( :PaqueteTuristico
                                             :Ubicacion
                                           )
                             ] ;
                 rdfs:range :Alojamiento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ofreceTransporte
:ofreceTransporte rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :ofrece ;
                  rdfs:domain [ rdf:type owl:Class ;
                                owl:unionOf ( :PaqueteTuristico
                                              :Ubicacion
                                            )
                              ] ;
                  rdfs:range :Transporte .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ofrecidoPor
:ofrecidoPor rdf:type owl:ObjectProperty .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tiene
:tiene rdf:type owl:ObjectProperty ;
       owl:inverseOf :ubicadoEn .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneDescuento
:tieneDescuento rdf:type owl:ObjectProperty ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( :PaqueteTuristico
                                            :Turista
                                          )
                            ] ;
                rdfs:range :Descuento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ubicadoEn
:ubicadoEn rdf:type owl:ObjectProperty ;
           rdfs:domain [ rdf:type owl:Class ;
                         owl:unionOf ( :Alojamiento
                                       :DestinoTuristico
                                       :Ubicacion
                                     )
                       ] ;
           rdfs:range :Ubicacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ubicadoEnCiudad
:ubicadoEnCiudad rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf :ubicadoEn ;
                 rdfs:range :Ciudad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ubicadoEnMontaña
:ubicadoEnMontaña rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :ubicadoEn ;
                  rdfs:range :Montaña .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ubicadoEnPlaya
:ubicadoEnPlaya rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf :ubicadoEn ;
                rdfs:range :Playa .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#vende
:vende rdf:type owl:ObjectProperty ;
       owl:inverseOf :vendidoPor ;
       rdfs:domain :AgenciaDeTurismo ;
       rdfs:range :PaqueteTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#vendidoPor
:vendidoPor rdf:type owl:ObjectProperty .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#viajaCon
:viajaCon rdf:type owl:ObjectProperty ,
                   owl:SymmetricProperty ;
          rdfs:domain :Turista ;
          rdfs:range :Turista .


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

###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#capacidad
:capacidad rdf:type owl:DatatypeProperty ;
           rdfs:domain :Transporte ;
           rdfs:range xsd:int .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#edad
:edad rdf:type owl:DatatypeProperty ;
      rdfs:domain :Turista ;
      rdfs:range xsd:int .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#precio
:precio rdf:type owl:DatatypeProperty ;
        rdfs:domain [ rdf:type owl:Class ;
                      owl:unionOf ( :Alojamiento
                                    :Glamping
                                    :Hotel
                                    :PaqueteCultural
                                    :PaqueteDeEntretenimiento
                                    :PaqueteDeportivo
                                  )
                    ] ;
        rdfs:range xsd:double .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#precioPaquete
:precioPaquete rdf:type owl:DatatypeProperty ;
               rdfs:domain :PaqueteTuristico ;
               rdfs:range xsd:double .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneAeropuerto
:tieneAeropuerto rdf:type owl:DatatypeProperty ;
                 rdfs:subPropertyOf :tieneEstacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneDesc
:tieneDesc rdf:type owl:DatatypeProperty ;
           rdfs:domain :Turista ;
           rdfs:range xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneEstacion
:tieneEstacion rdf:type owl:DatatypeProperty ;
               rdfs:domain :Ubicacion ;
               rdfs:range xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneEstacionTren
:tieneEstacionTren rdf:type owl:DatatypeProperty ;
                   rdfs:subPropertyOf :tieneEstacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneFecha
:tieneFecha rdf:type owl:DatatypeProperty ;
            rdfs:domain :PaqueteTuristico ;
            rdfs:range xsd:dateTime .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneNombre
:tieneNombre rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf owl:topDataProperty ;
             rdfs:domain [ rdf:type owl:Class ;
                           owl:unionOf ( :Actividad
                                         :AgenciaDeTurismo
                                         :Alojamiento
                                         :Turista
                                         :Ubicacion
                                       )
                         ] ;
             rdfs:range xsd:string .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tienePuerto
:tienePuerto rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf :tieneEstacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tieneTerminal
:tieneTerminal rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf :tieneEstacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#vendidoEnElMes
:vendidoEnElMes rdf:type owl:DatatypeProperty ;
                rdfs:domain :PaqueteTuristico ;
                rdfs:range xsd:integer .


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

###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Actividad
:Actividad rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ActividadesCulturales
:ActividadesCulturales rdf:type owl:Class ;
                       rdfs:subClassOf :Actividad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ActividadesDeEntretenimiento
:ActividadesDeEntretenimiento rdf:type owl:Class ;
                              rdfs:subClassOf :Actividad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ActividadesDeportivas
:ActividadesDeportivas rdf:type owl:Class ;
                       rdfs:subClassOf :Actividad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#AgenciaDeTurismo
:AgenciaDeTurismo rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Alojamiento
:Alojamiento rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Autobus
:Autobus rdf:type owl:Class ;
         rdfs:subClassOf :Transporte .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Avion
:Avion rdf:type owl:Class ;
       rdfs:subClassOf :Transporte .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Ciudad
:Ciudad rdf:type owl:Class ;
        rdfs:subClassOf :Ubicacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescNiños
:DescNiños rdf:type owl:Class ;
           rdfs:subClassOf :Descuento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescPorTemporada
:DescPorTemporada rdf:type owl:Class ;
                  rdfs:subClassOf :Descuento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescTerceraEdad
:DescTerceraEdad rdf:type owl:Class ;
                 rdfs:subClassOf :Descuento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Descuento
:Descuento rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DestinoCultural
:DestinoCultural rdf:type owl:Class ;
                 rdfs:subClassOf :DestinoTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DestinoDeEntretenimiento
:DestinoDeEntretenimiento rdf:type owl:Class ;
                          rdfs:subClassOf :DestinoTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DestinoDeportivo
:DestinoDeportivo rdf:type owl:Class ;
                  rdfs:subClassOf :DestinoTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DestinoTuristico
:DestinoTuristico rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Femenino
:Femenino rdf:type owl:Class ;
          rdfs:subClassOf :Genero .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Genero
:Genero rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Glamping
:Glamping rdf:type owl:Class ;
          rdfs:subClassOf :Alojamiento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Hotel
:Hotel rdf:type owl:Class ;
       rdfs:subClassOf :Alojamiento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#HotelDeLujo
:HotelDeLujo rdf:type owl:Class ;
             rdfs:subClassOf :Hotel .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#HotelEconomico
:HotelEconomico rdf:type owl:Class ;
                rdfs:subClassOf :Hotel .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Lancha
:Lancha rdf:type owl:Class ;
        rdfs:subClassOf :Transporte .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Masculino
:Masculino rdf:type owl:Class ;
           rdfs:subClassOf :Genero .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Montaña
:Montaña rdf:type owl:Class ;
         rdfs:subClassOf :Ubicacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#PaqueteCultural
:PaqueteCultural rdf:type owl:Class ;
                 rdfs:subClassOf :PaqueteTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#PaqueteDeEntretenimiento
:PaqueteDeEntretenimiento rdf:type owl:Class ;
                          rdfs:subClassOf :PaqueteTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#PaqueteDeportivo
:PaqueteDeportivo rdf:type owl:Class ;
                  rdfs:subClassOf :PaqueteTuristico .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#PaqueteTuristico
:PaqueteTuristico rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Playa
:Playa rdf:type owl:Class ;
       rdfs:subClassOf :Ubicacion .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Resort
:Resort rdf:type owl:Class ;
        rdfs:subClassOf :Alojamiento .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Transporte
:Transporte rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Tren
:Tren rdf:type owl:Class ;
      rdfs:subClassOf :Transporte .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Turista
:Turista rdf:type owl:Class .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#TuristaAdulto
:TuristaAdulto rdf:type owl:Class ;
               rdfs:subClassOf :TuristaMayorDeEdad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#TuristaAdultoMayor
:TuristaAdultoMayor rdf:type owl:Class ;
                    rdfs:subClassOf :TuristaMayorDeEdad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#TuristaMayorDeEdad
:TuristaMayorDeEdad rdf:type owl:Class ;
                    rdfs:subClassOf :Turista .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#TuristaMenorDeEdad
:TuristaMenorDeEdad rdf:type owl:Class ;
                    rdfs:subClassOf :Turista .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Ubicacion
:Ubicacion rdf:type owl:Class .


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

###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescNiños
:DescNiños rdf:type owl:NamedIndividual ,
                    :DescNiños .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescPorTemporada
:DescPorTemporada rdf:type owl:NamedIndividual ,
                           :DescPorTemporada .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#DescTerceraEdad
:DescTerceraEdad rdf:type owl:NamedIndividual ,
                          :DescTerceraEdad .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Femenino
:Femenino rdf:type owl:NamedIndividual ,
                   :Femenino .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#Masculino
:Masculino rdf:type owl:NamedIndividual ,
                    :Masculino .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadCultural1
:actividadCultural1 rdf:type owl:NamedIndividual ,
                             :ActividadesCulturales ;
                    :tieneNombre "Visitar museos y galerías de arte" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadCultural2
:actividadCultural2 rdf:type owl:NamedIndividual ,
                             :ActividadesCulturales ;
                    :tieneNombre "Recorrer sitios históricos" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadCultural3
:actividadCultural3 rdf:type owl:NamedIndividual ,
                             :ActividadesCulturales ;
                    :tieneNombre "Probar la comida local" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeEntretenimiento1
:actividadDeEntretenimiento1 rdf:type owl:NamedIndividual ,
                                      :ActividadesDeEntretenimiento ;
                             :tieneNombre "Parques temáticos y atracciones" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeEntretenimiento2
:actividadDeEntretenimiento2 rdf:type owl:NamedIndividual ,
                                      :ActividadesDeEntretenimiento ;
                             :tieneNombre "Discotecas y vida nocturna" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeEntretenimiento3
:actividadDeEntretenimiento3 rdf:type owl:NamedIndividual ,
                                      :ActividadesDeEntretenimiento ;
                             :tieneNombre "Espectáculos en vivo" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeportiva1
:actividadDeportiva1 rdf:type owl:NamedIndividual ,
                              :ActividadesDeportivas ;
                     :tieneNombre "Senderismo y Trekking" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeportiva2
:actividadDeportiva2 rdf:type owl:NamedIndividual ,
                              :ActividadesDeportivas ;
                     :tieneNombre "Deportes acuáticos" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#actividadDeportiva3
:actividadDeportiva3 rdf:type owl:NamedIndividual ,
                              :ActividadesDeportivas ;
                     :tieneNombre "Deportes de equipo o individuales" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#agencia1
:agencia1 rdf:type owl:NamedIndividual ;
          :vende :paqueteTuristico1 ;
          :tieneNombre "SolCaribe" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#agencia2
:agencia2 rdf:type owl:NamedIndividual ;
          :vende :paqueteTuristico2 ;
          :tieneNombre "Travel Time Ecuador" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#agencia3
:agencia3 rdf:type owl:NamedIndividual ;
          :vende :paqueteTuristico3 ;
          :tieneNombre "Cite Tour" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#autobus
:autobus rdf:type owl:NamedIndividual ;
         :capacidad 25 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#avion
:avion rdf:type owl:NamedIndividual ;
       :capacidad 130 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#barco
:barco rdf:type owl:NamedIndividual ;
       :capacidad 67 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ciudad1
:ciudad1 rdf:type owl:NamedIndividual ;
         :tieneAeropuerto "true"^^xsd:boolean ;
         :tieneNombre "Cuenca" ;
         :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ciudad2
:ciudad2 rdf:type owl:NamedIndividual ;
         :tieneAeropuerto "true"^^xsd:boolean ;
         :tieneNombre "Quito" ;
         :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#ciudad3
:ciudad3 rdf:type owl:NamedIndividual ;
         :tieneEstacionTren "true"^^xsd:boolean ;
         :tieneNombre "Alausi" ;
         :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico1
:destinoTuristico1 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadCultural1 ,
                                    :actividadCultural2 ,
                                    :actividadCultural3 ;
                   :ubicadoEnCiudad :ciudad1 ;
                   :tieneNombre "Museo Pumapungo" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico10
:destinoTuristico10 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeEntretenimiento1 ,
                                     :actividadDeEntretenimiento3 ,
                                     :actividadDeportiva2 ;
                    :ubicadoEnPlaya :playa1 ;
                    :tieneNombre "Playa" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico11
:destinoTuristico11 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeportiva1 ,
                                     :actividadDeportiva3 ;
                    :ubicadoEnMontaña :montaña2 ;
                    :tieneNombre "Montaña" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico12
:destinoTuristico12 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeportiva2 ,
                                     :actividadDeportiva3 ;
                    :ubicadoEnMontaña :montaña1 ;
                    :tieneNombre "Pesca Deportiva" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico13
:destinoTuristico13 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeportiva1 ;
                    :ubicadoEnMontaña :montaña3 ;
                    :tieneNombre "Sendero Quishuar" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico14
:destinoTuristico14 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeportiva2 ,
                                     :actividadDeportiva3 ;
                    :ubicadoEnPlaya :playa2 ;
                    :tieneNombre "kayak" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico15
:destinoTuristico15 rdf:type owl:NamedIndividual ;
                    :ofreceActividad :actividadDeportiva3 ;
                    :ubicadoEnPlaya :playa3 ;
                    :tieneNombre "parapente" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico2
:destinoTuristico2 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadCultural1 ,
                                    :actividadCultural2 ,
                                    :actividadCultural3 ;
                   :ubicadoEnCiudad :ciudad2 ;
                   :tieneNombre "Mitad del Mundo" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico3
:destinoTuristico3 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadCultural2 ;
                   :ubicadoEnCiudad :ciudad3 ;
                   :tieneNombre "Monumento a la Libertad" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico4
:destinoTuristico4 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeEntretenimiento2 ;
                   :ubicadoEnCiudad :ciudad1 ;
                   :tieneNombre "HideOut Disco Club" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico5
:destinoTuristico5 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeEntretenimiento2 ;
                   :ubicadoEnCiudad :ciudad2 ;
                   :tieneNombre "Casino S.A." .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico6
:destinoTuristico6 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeEntretenimiento1 ,
                                    :actividadDeEntretenimiento3 ;
                   :ubicadoEnCiudad :ciudad3 ;
                   :tieneNombre "Estacion Ferrocarril" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico7
:destinoTuristico7 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeportiva3 ;
                   :ubicadoEnCiudad :ciudad1 ;
                   :tieneNombre "Cuenca Tenis y Golf Club" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico8
:destinoTuristico8 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeportiva2 ,
                                    :actividadDeportiva3 ;
                   :ubicadoEnCiudad :ciudad2 ;
                   :tieneNombre "Quito Tenis y Golf Club" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#destinoTuristico9
:destinoTuristico9 rdf:type owl:NamedIndividual ;
                   :ofreceActividad :actividadDeportiva1 ;
                   :ubicadoEnCiudad :ciudad3 ;
                   :tieneNombre "Senderismo Nariz del Diablo" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#glamping1
:glamping1 rdf:type owl:NamedIndividual ;
           :ofreceActividad :actividadCultural3 ,
                            :actividadDeEntretenimiento1 ,
                            :actividadDeportiva1 ,
                            :actividadDeportiva2 ,
                            :actividadDeportiva3 ;
           :ubicadoEn :montaña1 ;
           :precio "85.0"^^xsd:double ;
           :tieneNombre "El Sendero" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#glamping2
:glamping2 rdf:type owl:NamedIndividual ;
           :ofreceActividad :actividadCultural3 ,
                            :actividadDeportiva1 ,
                            :actividadDeportiva2 ,
                            :actividadDeportiva3 ;
           :ubicadoEn :montaña2 ;
           :precio "92.0"^^xsd:double ;
           :tieneNombre "Llullu Llama Mountain Lodge" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#glamping3
:glamping3 rdf:type owl:NamedIndividual ;
           :ofreceActividad :actividadCultural3 ,
                            :actividadDeEntretenimiento3 ,
                            :actividadDeportiva1 ;
           :ubicadoEn :montaña3 ;
           :precio "115.0"^^xsd:double ;
           :tieneNombre "Secret Garden" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel1
:hotel1 rdf:type owl:NamedIndividual ;
        :ofreceActividad :actividadCultural3 ,
                         :actividadDeEntretenimiento2 ;
        :ubicadoEn :ciudad1 ;
        :precio "100.0"^^xsd:double ;
        :tieneNombre "Four Points by Sheraton Cuenca" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel2
:hotel2 rdf:type owl:NamedIndividual ;
        :ofreceActividad :actividadDeEntretenimiento2 ;
        :ubicadoEn :ciudad1 ;
        :precio "37.0"^^xsd:double ;
        :tieneNombre "Selina Cuenca" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel3
:hotel3 rdf:type owl:NamedIndividual ;
        :ofreceActividad :actividadCultural1 ,
                         :actividadCultural3 ,
                         :actividadDeEntretenimiento3 ;
        :ubicadoEn :ciudad2 ;
        :precio "82.5"^^xsd:double ;
        :tieneNombre "Wyndham Garden" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel4
:hotel4 rdf:type owl:NamedIndividual ;
        :ubicadoEn :ciudad2 ;
        :precio "22.0"^^xsd:double ;
        :tieneNombre "Hotel David" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel5
:hotel5 rdf:type owl:NamedIndividual ;
        :ofreceActividad :actividadCultural3 ;
        :ubicadoEn :ciudad3 ;
        :precio "89.0"^^xsd:double ;
        :tieneNombre "Hotel Europa" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#hotel6
:hotel6 rdf:type owl:NamedIndividual ;
        :ubicadoEn :ciudad3 ;
        :precio "28.0"^^xsd:double ;
        :tieneNombre "Hotel Las Americas" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#montaña1
:montaña1 rdf:type owl:NamedIndividual ;
          :tieneNombre "El Cajas" ;
          :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#montaña2
:montaña2 rdf:type owl:NamedIndividual ;
          :tieneNombre "Quilotoa" ;
          :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#montaña3
:montaña3 rdf:type owl:NamedIndividual ;
          :tieneNombre "Volcan Cotopaxi" ;
          :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico1
:paqueteTuristico1 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico1 ,
                            :destinoTuristico2 ,
                            :destinoTuristico3 ;
                   :esVendidoA :turista5 ;
                   :precioPaquete "350.0"^^xsd:double ;
                   :vendidoEnElMes 7 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico2
:paqueteTuristico2 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico4 ,
                            :destinoTuristico5 ,
                            :destinoTuristico6 ;
                   :esVendidoA :turista1 ;
                   :precioPaquete "400.5"^^xsd:double ;
                   :vendidoEnElMes 10 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico3
:paqueteTuristico3 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico7 ,
                            :destinoTuristico8 ,
                            :destinoTuristico9 ;
                   :esVendidoA :turista7 ;
                   :precioPaquete "275.3"^^xsd:double ;
                   :vendidoEnElMes 12 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico4
:paqueteTuristico4 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico10 ,
                            :destinoTuristico14 ,
                            :destinoTuristico15 ;
                   :esVendidoA :turista2 ;
                   :precioPaquete "240.0"^^xsd:double ;
                   :vendidoEnElMes 1 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico5
:paqueteTuristico5 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico11 ,
                            :destinoTuristico12 ,
                            :destinoTuristico13 ;
                   :esVendidoA :turista6 ;
                   :precioPaquete "500.0"^^xsd:double ;
                   :vendidoEnElMes 2 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#paqueteTuristico6
:paqueteTuristico6 rdf:type owl:NamedIndividual ;
                   :destino :destinoTuristico1 ,
                            :destinoTuristico14 ,
                            :destinoTuristico15 ,
                            :destinoTuristico4 ;
                   :precioPaquete "650.0"^^xsd:double .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#playa1
:playa1 rdf:type owl:NamedIndividual ;
        :tieneAeropuerto "true"^^xsd:boolean ;
        :tieneNombre "Chipipe" ;
        :tienePuerto "true"^^xsd:boolean ;
        :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#playa2
:playa2 rdf:type owl:NamedIndividual ;
        :tieneAeropuerto "true"^^xsd:boolean ;
        :tieneNombre "San Cristobal" ;
        :tienePuerto "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#playa3
:playa3 rdf:type owl:NamedIndividual ;
        :tieneNombre "Montañita" ;
        :tienePuerto "true"^^xsd:boolean ;
        :tieneTerminal "true"^^xsd:boolean .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#resort1
:resort1 rdf:type owl:NamedIndividual ;
         :ofreceActividad :actividadCultural3 ,
                          :actividadDeEntretenimiento2 ,
                          :actividadDeEntretenimiento3 ,
                          :actividadDeportiva2 ,
                          :actividadDeportiva3 ;
         :ubicadoEn :playa1 ;
         :precio "105.0"^^xsd:double ;
         :tieneNombre "Casablanca Chipipe" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#resort2
:resort2 rdf:type owl:NamedIndividual ;
         :ofreceActividad :actividadCultural3 ,
                          :actividadDeEntretenimiento2 ,
                          :actividadDeEntretenimiento3 ,
                          :actividadDeportiva2 ,
                          :actividadDeportiva3 ;
         :ubicadoEn :playa2 ;
         :precio "127.5"^^xsd:double ;
         :tieneNombre "Playa Mann" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#resort3
:resort3 rdf:type owl:NamedIndividual ;
         :ofreceActividad :actividadCultural3 ,
                          :actividadDeEntretenimiento2 ,
                          :actividadDeEntretenimiento3 ,
                          :actividadDeportiva2 ,
                          :actividadDeportiva3 ;
         :ubicadoEn :playa3 ;
         :precio "98.5"^^xsd:double ;
         :tieneNombre "Montañita Estates" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#tren
:tren rdf:type owl:NamedIndividual ;
      :capacidad 45 .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista1
:turista1 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :viajaCon :turista10 ,
                    :turista11 ,
                    :turista8 ;
          :edad 22 ;
          :tieneNombre "Mateo" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista10
:turista10 rdf:type owl:NamedIndividual ;
           :genero :Femenino ;
           :edad 23 ;
           :tieneNombre "Carolina" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista11
:turista11 rdf:type owl:NamedIndividual ;
           :genero :Femenino ;
           :edad 30 ;
           :tieneNombre "Gabriela" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista12
:turista12 rdf:type owl:NamedIndividual ;
           :genero :Masculino ;
           :edad 8 ;
           :tieneNombre "Nicolas" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista13
:turista13 rdf:type owl:NamedIndividual ;
           :genero :Femenino ;
           :edad 47 ;
           :tieneNombre "Beatriz" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista14
:turista14 rdf:type owl:NamedIndividual ;
           :genero :Femenino ;
           :edad 10 ;
           :tieneNombre "Paola" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista15
:turista15 rdf:type owl:NamedIndividual ;
           :genero :Masculino ;
           :edad 26 ;
           :tieneNombre "Luis" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista16
:turista16 rdf:type owl:NamedIndividual ;
           :genero :Masculino ;
           :edad 25 ;
           :tieneNombre "Carlos" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista17
:turista17 rdf:type owl:NamedIndividual ;
           :genero :Masculino ;
           :edad 24 ;
           :tieneNombre "Daniel" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista2
:turista2 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :viajaCon :turista15 ,
                    :turista16 ,
                    :turista17 ;
          :edad 24 ;
          :tieneNombre "Santiago" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista3
:turista3 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :edad 16 ;
          :tieneNombre "Sebastian" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista4
:turista4 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :edad 68 ;
          :tieneNombre "Ismael" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista5
:turista5 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :viajaCon :turista13 ,
                    :turista14 ,
                    :turista3 ;
          :edad 45 ;
          :tieneNombre "Mauricio" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista6
:turista6 rdf:type owl:NamedIndividual ;
          :genero :Femenino ;
          :viajaCon :turista9 ;
          :edad 20 ;
          :tieneNombre "Inessa" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista7
:turista7 rdf:type owl:NamedIndividual ;
          :genero :Femenino ;
          :viajaCon :turista12 ,
                    :turista4 ;
          :edad 73 ;
          :tieneNombre "Cenaida" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista8
:turista8 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :edad 32 ;
          :tieneNombre "Andres" .


###  http://www.semanticweb.org/mcall/ontologies/2024/0/untitled-ontology-60#turista9
:turista9 rdf:type owl:NamedIndividual ;
          :genero :Masculino ;
          :edad 22 ;
          :tieneNombre "Andres" .


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

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :DescNiños
                        :DescPorTemporada
                        :DescTerceraEdad
                        :Femenino
                        :Masculino
                        :actividadCultural1
                        :actividadCultural2
                        :actividadCultural3
                        :actividadDeEntretenimiento1
                        :actividadDeEntretenimiento2
                        :actividadDeEntretenimiento3
                        :actividadDeportiva1
                        :actividadDeportiva2
                        :actividadDeportiva3
                        :agencia1
                        :agencia2
                        :agencia3
                        :autobus
                        :avion
                        :barco
                        :ciudad1
                        :ciudad2
                        :ciudad3
                        :destinoTuristico1
                        :destinoTuristico10
                        :destinoTuristico11
                        :destinoTuristico12
                        :destinoTuristico13
                        :destinoTuristico14
                        :destinoTuristico15
                        :destinoTuristico2
                        :destinoTuristico3
                        :destinoTuristico4
                        :destinoTuristico5
                        :destinoTuristico6
                        :destinoTuristico7
                        :destinoTuristico8
                        :destinoTuristico9
                        :glamping1
                        :glamping2
                        :glamping3
                        :hotel1
                        :hotel2
                        :hotel3
                        :hotel4
                        :hotel5
                        :hotel6
                        :montaña1
                        :montaña2
                        :montaña3
                        :paqueteTuristico1
                        :paqueteTuristico2
                        :paqueteTuristico3
                        :paqueteTuristico4
                        :paqueteTuristico5
                        :playa1
                        :playa2
                        :playa3
                        :resort1
                        :resort2
                        :resort3
                        :tren
                        :turista1
                        :turista10
                        :turista11
                        :turista12
                        :turista13
                        :turista14
                        :turista15
                        :turista16
                        :turista17
                        :turista2
                        :turista3
                        :turista4
                        :turista5
                        :turista6
                        :turista7
                        :turista8
                        :turista9
                      )
] .


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