#acl SUAGroup:read,write,admin,delete,revert All:read

== Knowledge Management ==

'''Numero di crediti ECTS''': 10 (96 ore frontali)

'''SSD di riferimento''': INF/01

'''Docente''': M. Alviano


'''Prerequisiti''' 
<<BR>>

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'''
<<BR>>

 * 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.