Politecnico di Milano Facoltà di Ingegneria dell`Informazione Anno

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.