Comment("Classi------------------------------------------------------")

Class(Maestra)
Class(Classe)
Class(Bambino)
Class(ClasseDiScol)
Class(BambinoNonScol)


Comment("Attributi di classe-----------------------------------------")

DataPropertyRange(nomeMaestra rdf:string)
DataPropertyDomain(nomeMaestra Maestra)
SubClassOf(Maestra dataMinCardinality(1 nomeMaestra))
FunctionalDataProperty(nomeMaestra)

DataPropertyRange(anzianita rdf:integer)
DataPropertyDomain(anzianita Maestra)
SubClassOf(Maestra dataMinCardinality(1 anzianita))
FunctionalDataProperty(anzianita)

DataPropertyRange(nomeClasse rdf:string)
DataPropertyDomain(nomeClasse Classe)
SubClassOf(Classe dataMinCardinality(1 nomeClasse))
FunctionalDataProperty(nomeClasse)

DataPropertyRange(nomeBambino rdf:string)
DataPropertyDomain(nomeBambino Bambino)
SubClassOf(Bambino dataMinCardinality(1 nomeBambino))
FunctionalDataProperty(nomeBambino)

DataPropertyRange(eta rdf:integer)
DataPropertyDomain(eta Bambino)
SubClassOf(Bambino dataMinCardinality(1 eta))
FunctionalDataProperty(eta)

DataPropertyRange(pannolino rdf:integer)
DataPropertyDomain(pannolino BambinoNonScol)
SubClassOf(BambinoNonScol dataMinCardinality(1 pannolino))
FunctionalDataProperty(pannolino)


Comment("Generalizzazioni--------------------------------------------")

SubClassOf(ClasseDiScol Classe)
SubClassOf(BambinoNonScol Bambino)


Comment("Associazioni------------------------------------------------")

ObjectPropertyDomain(insegna Maestra)
ObjectPropertyRange(insegna Classe)
SubClassOf(ObjectMinCardinality(1 inverseObjectPropertyOf(insegna)) Maestra)

ObjectPropertyDomain(assegnato Bambino)
ObjectPropertyRange(assegnato Classe)
SubClassOf(Bambino ObjectMinCardinality(1 assegnato))

ObjectPropertyDomain(insegnaScol Maestra)
ObjectPropertyRange(insegnaScol ClasseDiScol)

ObjectPropertyDomain(assegnatoScol BambinoNonScol)
ObjectPropertyRange(assegnatoScol ClasseDiScol)
SubClassOf(Bambino ObjectMinCardinality(1 assegnatoScol))
FunctionalObjectProperty(assegnatoScol)


Comment("Specializzazioni--------------------------------------------")

SubObjectPropertyOf(insegnaScol insegna)
SubObjectPropertyOf(assegnatoScol assegnato)