Namespace(=<http://NomeQualsiasi#>)
Namespace(xsd=<http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs=<http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl=<http://www.w3.org/2002/07/owl#>)
Namespace(rdf=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)

Ontology(<http://NomeQualsiasi>

Declaration(OWLClass(Prototipo))
Declaration(OWLClass(Nazione))
Declaration(OWLClass(Collaudo))
Declaration(OWLClass(SuPista))
Declaration(OWLClass(SuBanco))
Declaration(OWLClass(BancoProva))

SubClassOf(SuPista Collaudo)
SubClassOf(SuBanco Collaudo)
DisjointClasses(SuPista SuBanco)
ObjectPropertyDomain(relativo  Collaudo)
ObjectPropertyRange(relativo Prototipo)
ObjectPropertyDomain(aut Nazione)
ObjectPropertyRange(aut Prototipo)
ObjectPropertyDomain(omo BancoProva)
ObjectPropertyRange(omo Nazione)
ObjectPropertyDomain(associato SuPista)
ObjectPropertyRange(associato SuBanco)
ObjectPropertyDomain(banco SuBanco)
ObjectPropertyRange(banco BancoProva)

SubClassOf(Collaudo ObjectMinCardinality(1 relativo))

SubClassOf(SuPista ObjectMinCardinality(1 associato))
SubClassOf(SuBanco ObjectMinCardinality(1 banco))
FunctionalObjectProperty(relativo)
FunctionalObjectProperty(associato)
FunctionalObjectProperty(banco)
DataPropertyRange(codicePrototipo xsd:string)
DataPropertyRange(costo xsd:int)
DataPropertyRange(tempoSvil xsd:int)
DataPropertyRange(dataInizio xsd:date)
DataPropertyRange(oraInizio xsd:int)
DataPropertyRange(durata xsd:int)
DataPropertyRange(pista xsd:string)
DataPropertyRange(temp xsd:int)
DataPropertyRange(collaudatore xsd:string)
DataPropertyRange(codiceB xsd:string)
DataPropertyRange(qualita xsd:string)
DataPropertyRange(capitale xsd:string)
DataPropertyRange(telefono xsd:int)
DataPropertyRange(nome xsd:string)
DataPropertyDomain(codicePrototipo Prototipo)
DataPropertyDomain(costo Prototipo)
DataPropertyDomain(tempoSvil Prototipo)
DataPropertyDomain(dataInizio Collaudo)
DataPropertyDomain(oraInizio Collaudo)
DataPropertyDomain(durata Collaudo)
DataPropertyDomain(pista SuPista)
DataPropertyDomain(temp SuPista)
DataPropertyDomain(collaudatore SuBanco)
DataPropertyDomain(codiceB BancoProva)
DataPropertyDomain(qualita BancoProva)
DataPropertyDomain(capitale Nazione)
DataPropertyDomain(telefono Nazione)
DataPropertyDomain(nome Nazione)
SubClassOf(Prototipo DataSomeValuesFrom(codicePrototipo rdf:XMLLiteral))
SubClassOf(Prototipo DataSomeValuesFrom(costo rdf:XMLLiteral))
SubClassOf(Prototipo DataSomeValuesFrom(tempoSvil rdf:XMLLiteral))
SubClassOf(Collaudo DataSomeValuesFrom(dataInizio rdf:XMLLiteral))
SubClassOf(Collaudo DataSomeValuesFrom(oraInizio rdf:XMLLiteral))
SubClassOf(Collaudo DataSomeValuesFrom(durata rdf:XMLLiteral))
SubClassOf(SuPista DataSomeValuesFrom(pista rdf:XMLLiteral))
SubClassOf(SuPista DataSomeValuesFrom(temp rdf:XMLLiteral))
SubClassOf(SuBanco DataSomeValuesFrom(collaudatore rdf:XMLLiteral))
SubClassOf(BancoProva DataSomeValuesFrom(codiceB rdf:XMLLiteral))
SubClassOf(BancoProva DataSomeValuesFrom(qualita rdf:XMLLiteral))
SubClassOf(Nazione DataSomeValuesFrom(capitale rdf:XMLLiteral))
SubClassOf(Nazione DataSomeValuesFrom(nome rdf:XMLLiteral))
FunctionalDataProperty(codicePrototipo)
FunctionalDataProperty(costo)
FunctionalDataProperty(tempoSvil)
FunctionalDataProperty(dataInizio)
FunctionalDataProperty(oraInizio)
FunctionalDataProperty(durata)
FunctionalDataProperty(pista)
FunctionalDataProperty(temp)
FunctionalDataProperty(collaudatore)
FunctionalDataProperty(codiceB)
FunctionalDataProperty(qualita)
FunctionalDataProperty(capitale)
FunctionalDataProperty(nome)
FunctionalDataProperty(telefono)

)