Politecnico di Milano Facoltà di Ingegneria dell'Informazione Anno Accademico 2004/2005 INGEGNERIA DELLA CONOSCENZA 072615 Crediti 5 Prof. Marco Colombetti Allievi Corso di Laurea in Ingegneria Informatica. Obiettivi Consentire allo studente di realizzare progetti d’ingegneria della conoscenza, con particolare riguardo allo sviluppo e all’uso di ontologie nelle applicazioni su internet (“web semantico”). Distribuzione indicativa dell'attività didattica Ore di lezione = 30, ore di esercitazione = 20. Programma delle lezioni e delle esercitazioni Il corso è diviso in tre parti: un’introduzione generale ai sistemi basati sulle conoscenze e alle problematiche del web semantico; un’introduzione alla definizione di ontologie in logica descrittiva; una presentazione delle tecnologie e di alcuni strumenti per il web semantico. I SISTEMI BASATI SU CONOSCENZE E IL WEB SEMANTICO Le conoscenze e la loro rappresentazione nei sistemi informatici. Rappresentazioni dichiarative e procedurali, simboliche e non simboliche. Ontologie e web semantico. ONTOLOGIE E LOGICHE DESCRITTIVE Le logiche descrittive come sistemi per la definizione di ontologie. Le logiche descrittive dei linguaggi DAML+OIL e OWL. TECNOLOGIE E STRUMENTI Le tecnologie del web semantico secondo gli standard del W3C: XML, RDF, RDFS, OWL. Alcuni strumenti per la definizione e l’uso di ontologie: Jena, Protégé, Racer. Il ruolo delle ontologie nei servizi web. Bibliografia consigliata Il corso è basato sulle dispense dei docenti (rese disponibili sul sito del corso) e su materiale reperibile nel web. Altro materiale didattico Siti web segnalati dai docenti. Modalità di svolgimento delle prove di verifica Sono previste due prove scritte su parti distinte del programma del corso, della durata di 90 minuti ciascuna, che assegnano complessivamente 32 punti. Le due prove intermedie saranno collocate nei periodi di sospensione dell'attività didattica. Ciascuna prova intermedia assegna un massimo di 16 punti ed è considerata valida se lo studente ottiene un punteggio minimo di 8 punti (chi ottiene un punteggio inferiore a 8 punti è obbligato a ripetere la prova in un appello d’esame). In ciascun appello d’esame è possibile sostenere una o ambedue le prove scritte Per superare l'esame è necessario che la somma dei punteggi delle due prove scritte sia di almeno 18 punti; lo studente che non soddisfi le precedenti condizioni dovrà recuperare una o entrambe le prove (vanno comunque ripetute le prove con punteggio inferiore a 8 punti). Prerequisiti Informatica 1 e 2, Ingegneria del software, Basi di dati, Algebra e logica. Sono consigliati anche Informatica 3 e Informatica teorica.