Home
@prefix : http://www.semanticweb.org/nicole/ontologies/2024/0/Prova# . @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/nicole/ontologies/2024/0/Prova .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova rdf:type owl:Ontology .
#################################################################
#################################################################
:applicaPromozione rdf:type owl:ObjectProperty ;
rdfs:range :Promozione ;
rdfs:domain :Utente .
:disponibileInStazione rdf:type owl:ObjectProperty ;
rdfs:range :Stazione ;
rdfs:domain :Veicolo .
:effettuaPercorso rdf:type owl:ObjectProperty ;
rdfs:domain :Utente ;
rdfs:range :Veicolo .
:effettuaPrenotazione rdf:type owl:ObjectProperty ;
rdfs:range :Prenotazione ;
rdfs:domain :Utente .
:lasciaRecensione rdf:type owl:ObjectProperty ;
rdfs:range :Recensione ;
rdfs:domain :Utente .
:posizioneVeicolo rdf:type owl:ObjectProperty ;
rdfs:range :Posizione ;
rdfs:domain :Veicolo .
:possiedeVeicolo rdf:type owl:ObjectProperty ;
rdfs:domain :Utente ;
rdfs:range :Veicolo .
:richiedeManutenzione rdf:type owl:ObjectProperty ;
rdfs:range :Manutenzione ;
rdfs:domain :Veicolo .
:utilizzaTariffa rdf:type owl:ObjectProperty ;
rdfs:range :Tariffa ;
rdfs:domain :Utente .
#################################################################
#################################################################
:dataInizioPromozione rdf:type owl:DatatypeProperty ;
rdfs:domain :Promozione ;
rdfs:range xsd:dateTime .
:dataManutenzioneProgrammata rdf:type owl:DatatypeProperty ;
rdfs:domain :Manutenzione ;
rdfs:range xsd:dateTime .
:dataNascita rdf:type owl:DatatypeProperty ;
rdfs:domain :Utente ;
rdfs:range xsd:dateTime .
:dataPrenotazione rdf:type owl:DatatypeProperty ;
rdfs:domain :Prenotazione ;
rdfs:range xsd:dateTime .
:dataRecensione rdf:type owl:DatatypeProperty ;
rdfs:domain :Recensione ;
rdfs:range xsd:dateTime .
:dataRegistrazione rdf:type owl:DatatypeProperty ;
rdfs:domain :Utente ;
rdfs:range xsd:dateTime .
:dataScadenzaPromozione rdf:type owl:DatatypeProperty ;
rdfs:domain :Promozione ;
rdfs:range xsd:dateTime .
:dataUltimaManutenzione rdf:type owl:DatatypeProperty ;
rdfs:domain :Veicolo ;
rdfs:range xsd:dateTime .
:oraFinePercorso rdf:type owl:DatatypeProperty ;
rdfs:domain :Percorso ;
rdfs:range xsd:dateTime .
:oraInizioPercorso rdf:type owl:DatatypeProperty ;
rdfs:domain :Percorso ;
rdfs:range xsd:dateTime .
#################################################################
#################################################################
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#30GiorniProvaGratuita rdf:type owl:Class ;
rdfs:subClassOf :Promozione .
:Auto rdf:type owl:Class ;
rdfs:subClassOf :Veicolo .
:Bicicletta rdf:type owl:Class ;
rdfs:subClassOf :Veicolo .
:GPSSatellitare rdf:type owl:Class ;
rdfs:subClassOf :Posizione .
:Intermedia rdf:type owl:Class ;
rdfs:subClassOf :Recensione .
:Istantanea rdf:type owl:Class ;
rdfs:subClassOf :Prenotazione .
:Manutenzione rdf:type owl:Class .
:Monopattino rdf:type owl:Class ;
rdfs:subClassOf :Veicolo .
:Negativa rdf:type owl:Class ;
rdfs:subClassOf :Recensione .
:Occasionale rdf:type owl:Class ;
rdfs:subClassOf :Manutenzione .
:Oraria rdf:type owl:Class ;
rdfs:subClassOf :Tariffa .
:Percorso rdf:type owl:Class .
:Positiva rdf:type owl:Class ;
rdfs:subClassOf :Recensione .
:Posizione rdf:type owl:Class .
:Prenotazione rdf:type owl:Class .
:Programmata rdf:type owl:Class ;
rdfs:subClassOf :Prenotazione .
:Promozione rdf:type owl:Class .
:PromozioniStagionali rdf:type owl:Class ;
rdfs:subClassOf :Promozione .
:PuntoDiArrivo rdf:type owl:Class ;
rdfs:subClassOf :Percorso .
:PuntoDiPartenza rdf:type owl:Class ;
rdfs:subClassOf :Percorso .
:Recensione rdf:type owl:Class .
:Scooter rdf:type owl:Class ;
rdfs:subClassOf :Veicolo .
:Standard rdf:type owl:Class ;
rdfs:subClassOf :Tariffa .
:Stazione rdf:type owl:Class .
:StazioneDiDeposito rdf:type owl:Class ;
rdfs:subClassOf :Stazione .
:StazioneDiRitiro rdf:type owl:Class ;
rdfs:subClassOf :Stazione .
:Tariffa rdf:type owl:Class .
:TariffaStandard rdf:type owl:Class ;
rdfs:subClassOf :Promozione .
:Utente rdf:type owl:Class .
:UtenteAnonimo rdf:type owl:Class ;
rdfs:subClassOf :Utente .
:UtenteBusiness rdf:type owl:Class ;
rdfs:subClassOf :Utente .
:UtentePremium rdf:type owl:Class ;
rdfs:subClassOf :Utente .
:UtenteRegistrato rdf:type owl:Class ;
rdfs:subClassOf :Utente .
:Veicolo rdf:type owl:Class .
#################################################################
#################################################################
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#05/07/2009 rdf:type :UtenteRegistrato , owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataNascita ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :Utente123 .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#10/01/2024 rdf:type :UtenteRegistrato , owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataRegistrazione ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :Utente123 .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#12/01/2024 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataPrenotazione ; owl:someValuesFrom xsd:dateTime ] , [ rdf:type owl:Restriction ; owl:onProperty :dataInizioPromozione ; owl:someValuesFrom xsd:dateTime ] , [ rdf:type owl:Restriction ; owl:onProperty :dataRecensione ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#15/01/2024 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataScadenzaPromozione ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#20/02/2024 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataManutenzioneProgrammata ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#20/10/2023 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :dataUltimaManutenzione ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#20CentesimiAlMinuto rdf:type :Tariffa , owl:NamedIndividual .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#22:50 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :oraInizioPercorso ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#22:58 rdf:type owl:NamedIndividual , [ rdf:type owl:Restriction ; owl:onProperty :oraFinePercorso ; owl:someValuesFrom xsd:dateTime ] ;
owl:sameAs :MonopattinoHW .
:Istantanea rdf:type :Prenotazione , owl:NamedIndividual .
:MonopattinoHW rdf:type :Veicolo , owl:NamedIndividual ;
:richiedeManutenzione :Occasionale ;
:disponibileInStazione :PiazzaDellaRepubblica ;
:posizioneVeicolo :PiazzaSanCarlo .
:Occasionale rdf:type :Manutenzione , owl:NamedIndividual .
:PiazzaDellaRepubblica rdf:type :Posizione , owl:NamedIndividual .
:PiazzaSanCarlo rdf:type :Posizione , owl:NamedIndividual .
:Positiva rdf:type :Recensione , owl:NamedIndividual .
:Sconto rdf:type :Promozione , owl:NamedIndividual .
:Utente123 rdf:type :Utente , owl:NamedIndividual ;
:utilizzaTariffa <http://www.semanticweb.org/nicole/ontologies/2024/0/Prova#20CentesimiAlMinuto> ;
:effettuaPrenotazione :MonopattinoHW ;
:possiedeVeicolo :MonopattinoHW ;
:effettuaPercorso :MonopattinoHW ;
:lasciaRecensione :Positiva ;
:applicaPromozione :Sconto .