Ricerca fondazionale sulle logiche descrittive e sulle loro applicazioni nelle tecnologie semantiche per la gestione dei dati.

Attività di ricerca fondazionale su tematiche di ontologie, logiche descrittive, e più in generale rappresentazione della conoscenza.Ulteriori attività di ricerca nel contesto di altri progetti su temi collegati possono essere definite previo accordo reciproco tra titolare del contratto di ricerca e supervisore. Qualora questa attività nel contesto di altri progetti sia supervisionata nel dettaglio da un professore/ricercatore diverso dal supervisore indicato, quest'ultimo dovrà in ogni caso controfirmare espressamente la parte di relazione che si riferisce all'attività sui progetti aggiuntivi.