Seminario-esame di Teoria delle Categorie: Dario De Nart

Dario De Nart terrà il seminario-esame per il Corso di Introduzione alla Teoria delle Categorie il giorno mercoledì 17 dicembre 2014, alle 10.30, presso l’Aula Multimediale del DIMI.
De Nart ci parlerà di Una rappresentazione categoriale degli allineamenti di ontologie e delle loro operazioni.

Negli anni numerosissime ontologie sono state proposte, fornendo un gran numero di possibili vocabolari per i Linked Data, attivamente utilizzati dai publisher. Ciascuna di tali ontologie è, però, un modello logico della conoscenza intrinsecamente diverso da tutti gli altri e pertanto i dati aderenti ad un modello non possono essere facilmente integrati con quelli aderenti ad un altro. Per rendere interoperabili i dati aderenti a ontologie diverse occorre prima specificare un allineamento tra le ontologie coinvolte. In questo seminario si vedrà come la Teoria delle Categorie può essere impiegata per costruire una formalizzazione degli allineamenti e delle operazioni ad essi associate, indipendente dal linguaggio di rappresentazione utilizzato.

Tutti gli interessati sono invitati (e gli studenti, obbligati).