Intelligent Web

Intelligent Web

Insegnamento: Intelligent Web

Titolo insegnamento in inglese: Intelligent Web

Lingua: italiano

Anno di corso: 2

Semestre: 1

CFU: 6

Insegnamenti propedeutici previsti: Nessuno.

Docenti:

  • Luigi Sauro

Obiettivi Formativi

Scopo del corso è quello di approfondire le principali tematiche fondazionali, metodologiche e applicative che riguardano l’uso dell’Intelligenza Artificiale nel rappresentare, accumulare, integrare e rintracciare informazioni sul Web. In particolare, lo studente affronterà lo studio dei principali linguaggi e tecnologie dei Linked Data e del Semantic Web. Il corso consentirà di acquisire le competenze opportune per sviluppare ontologie e approfondirà lo studio delle tecniche di ragionamento automatico necessarie per analizzare i costi computazionali di alcuni ontology design patterns. Il corso si occuperà anche del problema di riconoscere le preferenze di un utente attraverso tecniche di apprendimento attivo basate su inferenze Bayesiane.   

Programma 

Linked Data: modelli No-SQL per i dati sul Web, RDF, RDF-Schema, SPARQL. Strumenti di sviluppo di repositories RDF, GraphDB. Casi di studio, CIDOC CRM e DBpedia. Semantic Web: Ontology Web Language (OWL2), sintassi e semantica. Ontology design patterns e strumenti di sviluppo e analisi di ontologie, Protégé. Fondamenti logici dei task di ragionamento nel Semantic Web, Description Logics e tableaux systems. Profili di OWL2 a bassa complessità (OWL-EL, OWL-DL, and OWL-RL). Bayesian Preference Elicitation, nozione di belief improvement e sue tecniche di misura. Problemi di carattere computazionale nei recommender systems basati su Preference Elicitation.  

Modalità didattiche

Lezioni in aula. Sviluppo di progetti di gruppo.

Materiale didattico 

An Introduction to Description Logics, Franz Baader, Technische Universität, Dresden , Ian Horrocks, University of Oxford , Carsten Lutz, Universität Bremen , Uli Sattler, University of Manchester. Canmbridge University Press.

The Description Logic Handbook, Franz Baader, Technische Universität, Dresden , Diego Calvanese, Freie Universität Bozen, Bolzano , Deborah L. McGuinness, Rensselaer Polytechnic Institute, New York , Daniele Nardi, Università degli Studi di Roma 'La Sapienza', Italy , Peter F. Patel-Schneider , AT&T Bell Laboratories, New Jersey. Cambridge University Press.

Semantic Web for the Working Ontologist. Dean Allemang, James Hendler, Elsevier.  

Modalità di esame

L'esame si articola in prova scritta ed orale.

La prova scritta consta di esercizi numerici. Progetto.