Tutte le relazioni fra attributi inserite nel Thesaurus dal progettista hanno carattere esclusivamente terminologico, a priori quindi da qualunque considerazione sulle estensioni. Esse si basano, infatti, solamente sull'analisi dei termini che identificano un concetto.
E' stata quindi inserita all'interno del modulo SIM una fase di validazione di tali relazioni allo scopo di verificare che i domini degli attributi coinvolti siano compatibili con il tipo di relazione definita tra gli stessi. Per realizzare la suddetta procedura si utilizzano le funzionalita' di ODBTools. Il procedimento utilizzato e' il seguente:
Per ogni coppia di attributi da validare si creano due nuove interfaces (che saranno in realta' due views) ciascuna delle quali ha il nome di uno dei due attributi. All'interno di ciascuna view e' memorizzato un unico attributo il cui dominio coincide con quello dell'attributo che da il nome alla vista stessa.
Questo procedimento e' ripetuto per tutte le coppie di attributi presenti nel Thesaurus ed una volta concluso permette di disporre di uno schema arricchito delle informazioni necessarie alla validazione. Sara' proprio questo nuovo schema ad essere tradotto in OLCD ed inviato ad ODBTools. L'output di ODBTools e' rappresentato da un documento XML il quale riporta tutte le relazioni fra classi presenti all'interno dello schema esaminato. Di tutte le relazioni fornite sono significative (ai fini della validazione) solo quelle che interessano le interfaces (o meglio le views) che erano state precedentemente aggiunte allo schema originale: tali relazioni possono essere ricondotte ai domini degli attributi coinvolti e percio' esaminate al dettaglio. In particolare il controllo che viene eseguito ai fini della validazione e' il seguente:
siano A e B gli attributi coinvolti nella relazione e siano D(A) e D(B) i rispettivi domini.
- relazione A SYN B: la relazione e' valida se D(A) e D(B) sono equivalenti o se uno tra i due e' piu' specializzato dell'altro;
- relazione A BT B: la relazione e' valida se D(A) contiene o e' equivalente a D(B);
- relazione A NT B: la relazione e' valida se D(A) e' contenuto e' equivalente a D(B);