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>
SubClassOf(Collettiva  Prenotazione)
SubClassOf(Singola  Prenotazione)
DisjointClasses(Collettiva Singola)
ObjectPropertyDomain(effettua  Persona)
ObjectPropertyRange(effettua  Prenotazione)
ObjectPropertyDomain(risiede Persona)
ObjectPropertyRange(risiede  Comune)
ObjectPropertyDomain(natoA  Persona)
ObjectPropertyRange(natoA    Comune)
ObjectPropertyDomain(situato    Teatro)
ObjectPropertyRange(situato    Comune)
ObjectPropertyDomain(nel  Posto)
ObjectPropertyRange(nel  Teatro)
ObjectPropertyDomain(PP  PostoAssegnato)
ObjectPropertyRange(PP  Posto)
ObjectPropertyDomain(PSP  Singola)
ObjectPropertyRange(PSP  PostoAssegnato)
ObjectPropertyDomain(per Singola)
ObjectPropertyRange(per Persona)
ObjectPropertyDomain(quale Collettiva)
ObjectPropertyRange(quale Teatro)
SubClassOf(ObjectMinCardinality(1 InverseObjectProperty(PSP )) PostoAssegnato)
SubClassOf(ObjectMinCardinality(1 InverseObjectProperty(effettua)) Prenotazione)
SubClassOf(Singola ObjectMinCardinality(1 PSP))
SubClassOf(PostoAssegnato ObjectMinCardinality(1 PP))
SubClassOf(Posto ObjectMinCardinality(1 nel))
SubClassOf(Teatro ObjectMinCardinality(1 situato))
SubClassOf(Persona ObjectMinCardinality(1 natoA))
SubClassOf(Persona ObjectMinCardinality(1 risiede))
SubClassOf(Persona ObjectMinCardinality(1 per))
SubClassOf(Collettiva ObjectMinCardinality(1 quale))
FunctionalObjectProperty(InverseObjectProperty(PSP))
FunctionalObjectProperty(natoA)
FunctionalObjectProperty(situato)
FunctionalObjectProperty(nel)
FunctionalObjectProperty(PP)
FunctionalObjectProperty(PSP)
FunctionalObjectProperty(per)
FunctionalObjectProperty(quale)
DataPropertyRange(numCollettiva xsd:int)
DataPropertyRange(dataCollettiva  xsd:date)
DataPropertyRange(sconto xsd:int)
DataPropertyRange(dataPosto xsd:date)
DataPropertyRange(categoria xsd:string)
DataPropertyRange(num xsd:int)
DataPropertyRange(fila xsd:string)
DataPropertyRange(annoFond xsd:date)
DataPropertyRange(nomeTeatro xsd:string)
DataPropertyRange(salarioMedio xsd:int)
DataPropertyRange(regione xsd:string)
DataPropertyRange(nomeComune xsd:string)
DataPropertyRange(dataN xsd:string)
DataPropertyRange(sesso xsd:string)
DataPropertyRange(codFis xsd:string)
DataPropertyRange(sommaPagata xsd:int)
DataPropertyRange(codicePrenotazione rdf:string)
DataPropertyDomain(codicePrenotazione Prenotazione)
DataPropertyDomain(sommaPagata Prenotazione)
DataPropertyDomain(codFis Persona)
DataPropertyDomain(dataN Persona)
DataPropertyDomain(sesso Persona)
DataPropertyDomain(nomeComune Comune)
DataPropertyDomain(regione Comune)
DataPropertyDomain(salarioMedio Comune)
DataPropertyDomain(nomeTeatro Teatro)
DataPropertyDomain(annoFond Teatro)
DataPropertyDomain(fila Posto)
DataPropertyDomain(num Posto)
DataPropertyDomain(categoria Posto)
DataPropertyDomain(dataPosto PostoAssegnato)
DataPropertyDomain(numCollettiva Collettiva)
DataPropertyDomain(dataCollettiva Collettiva)
DataPropertyDomain(sconto Collettiva)
SubClassOf(Collettiva DataSomeValuesFrom(dataCollettiva rdf:XMLLiteral))
SubClassOf(Collettiva DataSomeValuesFrom(sconto rdf:XMLLiteral))
SubClassOf(PostoAssegnato DataSomeValuesFrom(dataPosto rdf:XMLLiteral))
SubClassOf(Collettiva DataSomeValuesFrom(numCollettiva rdf:XMLLiteral))
SubClassOf(Posto DataSomeValuesFrom(categoria rdf:XMLLiteral))
SubClassOf(Posto DataSomeValuesFrom(num rdf:XMLLiteral))
SubClassOf(Posto DataSomeValuesFrom(fila rdf:XMLLiteral))
SubClassOf(Teatro DataSomeValuesFrom(annoFond rdf:XMLLiteral))
SubClassOf(Teatro DataSomeValuesFrom(nomeTeatro rdf:XMLLiteral))
SubClassOf(Comune DataSomeValuesFrom(salarioMedio rdf:XMLLiteral))
SubClassOf(Comune DataSomeValuesFrom(nomeComune rdf:XMLLiteral))
SubClassOf(Comune DataSomeValuesFrom(regione rdf:XMLLiteral))
SubClassOf(Persona DataSomeValuesFrom(sesso rdf:XMLLiteral))
SubClassOf(Persona DataSomeValuesFrom(codFis rdf:XMLLiteral))
SubClassOf(Persona DataSomeValuesFrom(dataN  rdf:XMLLiteral))
SubClassOf(Prenotazione DataSomeValuesFrom(sommaPagata rdf:XMLLiteral))
SubClassOf(Prenotazione DataSomeValuesFrom(codicePrenotazione rdf:XMLLiteral))
FunctionalDataProperty(codicePrenotazione)
FunctionalDataProperty(sommaPagata)
FunctionalDataProperty(codFis)
FunctionalDataProperty(sesso)
FunctionalDataProperty(dataN)
FunctionalDataProperty(nomeComune)
FunctionalDataProperty(regione)
FunctionalDataProperty(salarioMedio)
FunctionalDataProperty(nomeTeatro)
FunctionalDataProperty(annoFond)
FunctionalDataProperty(fila)
FunctionalDataProperty(num)
FunctionalDataProperty(categoria)
FunctionalDataProperty(dataPosto)
FunctionalDataProperty(sconto)
FunctionalDataProperty(dataCollettiva)
FunctionalDataProperty(numCollettiva)

)