ClassAssertion(pr1 Progetto)
ClassAssertion(pr2 Progetto)
ClassAssertion(sc1 Schema)
ClassAssertion(co1 Concettuale)
ClassAssertion(lo1 Logico)
ClassAssertion(sc2 Schema)
ClassAssertion(co2 Concettuale)
ClassAssertion(lo2 Logico)
ClassAssertion(dbms1 DBMS)
ClassAssertion(dbms2 DBMS)
ClassAssertion(comm1 Committente)
dataPropertyAssertion(numIdent  pr1  a1)
dataPropertyAssertion(numIdent  pr2  a2)
dataPropertyAssertion(costo pr1  10000)
dataPropertyAssertion(costo pr2  20000)
dataPropertyAssertion(durata pr1  12)
dataPropertyAssertion(durata pr2  15)
dataPropertyAssertion(numero co1  1)
dataPropertyAssertion(versione co1  1.1)
dataPropertyAssertion(tempoSvil co1  32)
dataPropertyAssertion(numProgettisti co1  4)
dataPropertyAssertion(numero co2  2)
dataPropertyAssertion(versione co2  1.2)
dataPropertyAssertion(tempoSvil co2  22)
dataPropertyAssertion(numProgettisti co2  6)
dataPropertyAssertion(numero lo1  2)
dataPropertyAssertion(versione lo1  2.1)
dataPropertyAssertion(tempoSvil lo1  22)
dataPropertyAssertion(dimensione lo1  101)
dataPropertyAssertion(numero lo2  3)
dataPropertyAssertion(versione lo2  2.2)
dataPropertyAssertion(tempoSvil lo2  42)
dataPropertyAssertion(dimensione lo2  201)
dataPropertyAssertion(codice dbms1  e33e)
dataPropertyAssertion(anno dbms1  1998)
dataPropertyAssertion(codice dbms2  f33f)
dataPropertyAssertion(anno dbms2  1999)
dataPropertyAssertion(codFis comm1  r3333222r1)
dataPropertyAssertion(numDip comm1  23)
dataPropertyAssertion(capSociale comm1  10000000)
objectPropertyAssertion(input co1 lo1)
objectPropertyAssertion(input co2 lo2)
objectPropertyAssertion(implementaz lo1 dbms1)
objectPropertyAssertion(implementaz lo2 dbms2)
objectPropertyAssertion(licenza dbms1 comm1)
objectPropertyAssertion(commessa comm1 pr1)
objectPropertyAssertion(commessa comm1 pr2)
objectPropertyAssertion(relativo co1 pr1)
objectPropertyAssertion(relativo lo1 pr1)
objectPropertyAssertion(relativo co2 pr2)
objectPropertyAssertion(relativo lo2 pr2)
objectPropertyDataAssertion(inizioValid dbms1  comm1 2003)
objectPropertyDataAssertion(compenso comm1 pr1 2000000)
objectPropertyDataAssertion(compenso comm1 pr2 2500000)