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

Class(Lista)
Class(Seggio)
Class(ListaSindaco)
Class(ListaConsiglio)
Class(Candidato)


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

DataPropertyRange(nomeLista rdf:string)
DataPropertyDomain(nomeLista Lista)
SubClassOf(Lista dataMinCardinality(1 nomeLista))
FunctionalDataProperty(nomeLista)

DataPropertyRange(simbolo rdf:string)
DataPropertyDomain(simbolo Lista)
SubClassOf(Lista dataMinCardinality(1 simbolo))
FunctionalDataProperty(simbolo)

DataPropertyRange(codice rdf:string)
DataPropertyDomain(codice Seggio)
SubClassOf(Seggio dataMinCardinality(1 codice))
FunctionalDataProperty(codice)

DataPropertyRange(iscritti rdf:integer)
DataPropertyDomain(iscritti Seggio)
SubClassOf(Seggio dataMinCardinality(1 iscritti))
FunctionalDataProperty(iscritti)

DataPropertyRange(nome rdf:string)
DataPropertyDomain(nome Candidato)
SubClassOf(Candidato dataMinCardinality(1 nome))
FunctionalDataProperty(nome)

DataPropertyRange(blog rdf:string)
DataPropertyDomain(blog Candidato)
SubClassOf(Candidato dataMinCardinality(1 blog))
FunctionalDataProperty(blog)


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

SubClassOf(ListaSindaco Lista)
SubClassOf(ListaConsiglio Lista)
DisjointClasses(ListaSindaco ListaConsiglio)


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

ObjectPropertyDomain(preferenze Lista)
ObjectPropertyRange(preferenze Seggio)

ObjectPropertyDomain(inListaConsiglio Candidato)
ObjectPropertyRange(inListaConsiglio ListaConsiglio)
SubClassOf(ObjectMinCardinality(1inverseObjectPropertyOf(inListaConsiglio)) Candidato)
FunctionalObjectProperty(inListaConsiglio)

ObjectPropertyDomain(inListaSindaco Candidato)
ObjectPropertyRange(inListaSindaco ListaSindaco)
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(inListaSindaco)) Candidato)
FunctionalObjectProperty(InverseObjectPropertyOf(inListaSindaco))
FunctionalObjectProperty(inListaSindaco)

ObjectPropertyDomain(collegata ListaSindaco)
ObjectPropertyRange(collegata ListaConsiglio)
FunctionalObjectProperty(InverseObjectPropertyOf(collegata))


Comment("Attributi di associazioni-----------------------------------")

ObjectPropertyDataRange(voti rdf:integer)
ObjectPropertyDataDomain(voti preferenze)
SubObjectPropertyOf(preferenze ObjectPropertyDataMinCardinality(1 voti))
FunctionalObjectPropertyData(voti)