La validazione della conoscenza relativa ai mapping ontologici definiti fra ontologie eterogenee e distribuite rappresenta un¿area di ricerca rilevante per l¿avanzamento dello stato dell¿arte nell¿area dell¿ontology matching. Allo stato dell¿arte, si possono distinguere due macro-categorie di approcci e tecniche per il matching di ontologie: le tecniche di tipo linguistico/strutturale e quelle di tipo logico/semantico. Gli approcci del primo tipo si basano su una semantica che deriva dal significato delle etichette dei nodi e determinano i valori di similarità mediante grafi che rispecchiano la struttura degli schemi ontologici. Gli approcci logici prescindono dal significato dei nomi attribuiti ai concetti o dalla struttura morfologica dell¿ontologia e utilizzano il ragionamento automatico per determinare, a partire da un insieme pre-definito di mapping, nuove relazioni semantiche tra i concetti di ontologie diverse.
Obiettivo dell¿attività di ricerca riguarda lo sviluppo di metodi e tecniche per la validazione e l¿inferenza di mapping ontologici ottenuti con strumenti di matching di tipo linguistico/strutturale, al fine di migliorare la qualità dei risultati del processo di matching e di estendere gli strumenti di questo tipo con funzionalità di validazione della conoscenza di mapping nel suo complesso. L¿attività di ricerca è orientata specificamente a considerare le Fuzzy DL (Description Logics) come strumento formale per la specifica della semantica dei mapping ontologici, sfruttando la capacità della semantica fuzzy di poter esprimere adeguatamente una misura di incertezza per i mapping ontologici sulla base dei valori di similarità ad essi associati. Si considereranno i mapping come ''ponti'' tra ontologie oggetto del processo di matching, ovvero come relazioni semantiche che unificano le due ontologie a formare una base di conoscenza distribuita. Si studieranno funzioni per la validazione dell¿ontologia risultante rispetto alla configurazione di mapping definita e funzioni di inferenza per la deduzione di nuovi mapping a partire dai mapping esistenti. Le tecniche verranno sviluppate come estensione del sistema di matching HMatch, sviluppato presso il laboratorio ISLab dal gruppo di ricerca proponente e valutato a livello internazionale nell¿ambito della Ontology Alignment Evaluation Initiative (OAEI 2006). Le tecniche saranno validate sperimentalmente considerando ontologie di dominio del Semantic Web e i mapping ontologici prodotti dal sistema HMatch.