Knowledge Management

Numero di crediti ECTS: 10 (96 ore frontali)

SSD di riferimento: INF/01

Docente: M. Alviano

Prerequisiti

Nessuno.

Obiettivi

Conoscenza di formalismi logici e Semantic Web, capacità di utilizzarli per risolvere problemi pratici..

Programma

Logica classica (logica proposizionale, logica booleana quantificata, logica del primo ordine, calcoli), linguaggi logici per basi di dati (calcolo relazionale, datalog, answer set programming), Semantic Web (XML, XPath, XML Schema, RDF, SPARQL, OWL).

Bibliografia

• Logica a Informatica (A. Asperti, A. Ciabattoni), 1997
• Foundations of Databases (S. Abiteboule, R. Hull, V. Vianu), 1995
• XML in a Nutshell (E. R. Harold, W. S. Means), 2004
• Semantic Web for the Working Ontologist (D. Allemang, J. Hendler), 2008

Tipologia di attività didattiche

Lezione frontale con lucidi, esercizi svolti dal docente, esercizi preparati dagli studenti e svolti da loro durante la lezione.

Metodi di valutazione

Esame scritto e orale, bonus per esercizi svolti dagli studenti durante il corso.