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)
DataPropertyRange(nomeComune rdf:string)
DataPropertyRange(salarioMedio rdf:integer)
DataPropertyRange(regione rdf:string)
DataPropertyRange(dataCollettiva  rdf:date)
DataPropertyRange(sconto rdf:integer)
DataPropertyRange(sommaPagata rdf:integer)
DataPropertyRange(codicePrenotazione rdf:string)
DataPropertyRange(numCollettiva rdf:integer)
DataPropertyRange(codFis rdf:string)
DataPropertyRange(sesso rdf:string)
DataPropertyRange(dataN rdf:string)
DataPropertyRange(annoFond rdf:date)
DataPropertyRange(nomeTeatro rdf:string)
DataPropertyRange(categoria rdf:string)
DataPropertyRange(num rdf:integer)
DataPropertyRange(fila rdf:string)
DataPropertyRange(dataPosto rdf:date)
DataPropertyDomain(dataPosto PostoAssegnato)
DataPropertyDomain(codicePrenotazione Prenotazione)
DataPropertyDomain(sommaPagata Prenotazione)
DataPropertyDomain(numCollettiva Collettiva)
DataPropertyDomain(dataCollettiva Collettiva)
DataPropertyDomain(sconto Collettiva)
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)
SubClassOf(Comune DataSomeValueFrom(salarioMedio xsd:anyType))
SubClassOf(Posto DataSomeValueFrom(categoria xsd:anyType))
SubClassOf(Posto DataSomeValueFrom(num xsd:anyType))
SubClassOf(Posto DataSomeValueFrom(fila xsd:anyType))
SubClassOf(PostoAssegnato DataSomeValueFrom(dataPosto xsd:anyType))
SubClassOf(Collettiva DataSomeValueFrom(dataCollettiva xsd:anyType))
SubClassOf(Collettiva DataSomeValueFrom(sconto xsd:anyType))
SubClassOf(Collettiva DataSomeValueFrom(numCollettiva xsd:anyType))
SubClassOf(Prenotazione DataSomeValueFrom(sommaPagata xsd:anyType))
SubClassOf(Prenotazione DataSomeValueFrom(codicePrenotazione xsd:anyType))
SubClassOf(Persona DataSomeValueFrom(sesso xsd:anyType))
SubClassOf(Persona DataSomeValueFrom(codFis xsd:anyType))
SubClassOf(Persona DataSomeValueFrom(dataN  xsd:anyType))
SubClassOf(Comune DataSomeValueFrom(nomeComune xsd:anyType))
SubClassOf(Comune DataSomeValueFrom(regione xsd:anyType))
SubClassOf(Teatro DataSomeValueFrom(annoFond xsd:anyType))
SubClassOf(Teatro DataSomeValueFrom(nomeTeatro xsd:anyType))
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(codicePrenotazione)
FunctionalDataProperty(sommaPagata)
FunctionalDataProperty(sconto)
FunctionalDataProperty(dataCollettiva)
FunctionalDataProperty(numCollettiva)
SubClassOf(Persona ObjectMinCardinality(1 natoA))
SubClassOf(Persona ObjectMinCardinality(1 risiede))
SubClassOf(Teatro ObjectMinCardinality(1 situato))
SubClassOf(Persona ObjectMinCardinality(1 per))
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(effettua)) Prenotazione)
SubClassOf(Posto ObjectMinCardinality(1 nel))
SubClassOf(Collettiva ObjectMinCardinality(1 quale))
SubClassOf(Singola ObjectMinCardinality(1 PSP))
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(PSP )) PostoAssegnato)
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(effettua)) Prenotazione)
SubClassOf(PostoAssegnato ObjectMinCardinality(1 PP))
FunctionalObjectProperty(per)
FunctionalObjectProperty(situato)
FunctionalObjectProperty(PP)
FunctionalObjectProperty(PSP)
FunctionalObjectProperty(InverseObjectPropertyOf(PSP))
FunctionalObjectPropertyData(dataAnno)
ObjectPropertyDataDomain(dataAnno effettua)
ObjectPropertyDataDomain(dataMese effettua)
ObjectPropertyDataDomain(dataGiorno effettua)
ObjectPropertyDataRange(dataAnno rdf:integer)
ObjectPropertyDataRange(dataMese rdf:integer)
ObjectPropertyDataRange(dataGiorno rdf:integer)
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataGiorno xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataGiorno))
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataMese xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataMese))
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataAnno xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataAnno))
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(da xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 da))
FunctionalObjectPropertyData(dataGiorno)
FunctionalObjectPropertyData(dataMese)
FunctionalObjectPropertyData(dataAnno)
FunctionalObjectPropertyData(da)
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataAnno xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataAnno))
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataMese xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataMese))
SubObjectPropertyOf(effettua ObjectPropertyDataSomeValueFrom(dataGiorno xsd:anyType))
SubObjectPropertyOf(effettua ObjectPropertyDataMinCardinality(1 dataGiorno))
SubObjectPropertyOf(risiede ObjectPropertyDataSomeValueFrom(da xsd:anyType))
SubObjectPropertyOf(risiede ObjectPropertyDataMinCardinality(1 da))
ObjectPropertyDataRange(dataMese rdf:integer)
ObjectPropertyDataRange(dataGiorno rdf:integer)
ObjectPropertyDataRange(dataAnno rdf:integer)
ObjectPropertyDataRange(da rdf:string)
ObjectPropertyDataDomain(dataMese effettua)
ObjectPropertyDataDomain(dataGiorno effettua)
ObjectPropertyDataDomain(dataAnno effettua)
ObjectPropertyDataDomain(da risiede)