SubClassOf(Concettuale Schema)
SubClassOf(Logico Schema)
DisjointClasses(Logico Concettuale)
ObjectPropertyDomain(relativo Schema)
ObjectPropertyRange(relativo Progetto)
ObjectPropertyDomain(input Concettuale)
ObjectPropertyRange(input Logico)
ObjectPropertyDomain(implementaz Logico)
ObjectPropertyRange(implementaz DBMS)
ObjectPropertyDomain(licenza DBMS)
ObjectPropertyRange(licenza Committente)
ObjectPropertyDomain(commessa Committente)
ObjectPropertyRange(commessa Progetto)
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(relativo))  Progetto)
SubClassOf(Schema ObjectMinCardinality(1 relativo))
SubClassOf(Logico ObjectMinCardinality(1 implementaz))
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(input)) Logico)
SubClassOf(ObjectMinCardinality(1 InverseObjectPropertyOf(commessa)) Progetto)
FunctionalObjectProperty(relativo)
FunctionalObjectProperty(implementaz)
FunctionalObjectProperty(InverseObjectPropertyOf(input))
DataPropertyRange(numIdent rdf:string)
DataPropertyRange(costo rdf:string)
DataPropertyRange(durata  rdf:integer)
DataPropertyRange(versione rdf:string)
DataPropertyRange(tempoSvil rdf:integer)
DataPropertyRange(numero rdf:integer)
DataPropertyRange(numProgettisti rdf:integer)
DataPropertyRange(dimensione rdf:integer)
DataPropertyRange(codice rdf:string)
DataPropertyRange(anno rdf:integer)
DataPropertyRange(codFis rdf:string)
DataPropertyRange(numDip rdf:integer)
DataPropertyRange(capSociale rdf:integer)
DataPropertyDomain(numDip  Committente)
DataPropertyDomain(capSociale  Committente)
DataPropertyDomain(codFis Committente)
DataPropertyDomain(anno DBMS)
DataPropertyDomain(codice DBMS)
DataPropertyDomain(dimensione Logico)
DataPropertyDomain(numProgettisti Concettuale)
DataPropertyDomain(tempoSvil Schema)
DataPropertyDomain(numero Schema)
DataPropertyDomain(versione Schema)
DataPropertyDomain(durata  Progetto)
DataPropertyDomain(costo Progetto)
DataPropertyDomain(numIdent Progetto)
SubClassOf(Progetto DataSomeValueFrom(numIdent xsd:anyType))
SubClassOf(Progetto DataSomeValueFrom(costo xsd:anyType))
SubClassOf(Progetto DataSomeValueFrom(durata  xsd:anyType))
SubClassOf(Schema DataSomeValueFrom(versione xsd:anyType))
SubClassOf(Schema DataSomeValueFrom(numero xsd:anyType))
SubClassOf(Schema DataSomeValueFrom(tempoSvil xsd:anyType))
SubClassOf(Concettuale DataSomeValueFrom(numProgettisti xsd:anyType))
SubClassOf(Logico DataSomeValueFrom(dimensione xsd:anyType))
SubClassOf(DBMS DataSomeValueFrom(codice xsd:anyType))
SubClassOf(DBMS DataSomeValueFrom(anno xsd:anyType))
SubClassOf(Committente DataSomeValueFrom(codFis xsd:anyType))
SubClassOf(Committente DataSomeValueFrom(capSociale xsd:anyType))
SubClassOf(Committente DataSomeValueFrom(numDip xsd:anyType))
FunctionalDataProperty(numDip)
FunctionalDataProperty(capSociale)
FunctionalDataProperty(codFis)
FunctionalDataProperty(anno)
FunctionalDataProperty(codice)
FunctionalDataProperty(dimensione)
FunctionalDataProperty(numProgettisti)
FunctionalDataProperty(tempoSvil)
FunctionalDataProperty(numero)
FunctionalDataProperty(versione)
FunctionalDataProperty(durata)
FunctionalDataProperty(costo)
FunctionalDataProperty(numIdent)
ObjectPropertyDataRange(compenso rdf:integer)
ObjectPropertyDataRange(inizioValid rdf:string)
ObjectPropertyDataDomain(compenso commessa)
ObjectPropertyDataDomain(inizioValid licenza)
SubObjectPropertyOf(commessa ObjectPropertyDataSomeValueFrom(compenso xsd:anyType))
SubObjectPropertyOf(licenza ObjectPropertyDataSomeValueFrom(inizioValid xsd:anyType))
FunctionalObjectPropertyData(compenso) 
FunctionalObjectPropertyData(inizioValid)