| Settimana | Argomento | Lunedì (ore 17:30-19:00) |
Martedì (ore 15:45-17:15 & 17:30-19:00) |
| 1 (23 aprile) | Query congiuntive & integrazone dei dati |
Introduzione al
corso
FOL
- formule aperte come query - valutazione di formule (aperte e chiuse) FOL --- un semplice algoritmo --- PSPACE in combined complexity --- LOGSPACE in data complexity |
Query congiuntive - il DB canonico di una query congiuntiva - omomorfismo (ChandraMerlin) - valutazione di query congiuntive --- NP-complete in combined complexity --- LOGSPACE in data complexity - contenimento di query congiuntive --- riduzione a valutazione (ChandraMerlin) |
| 2 (30 aprile) | Festa |
Festa |
|
| 3 (7 maggio) | Query congiuntive & integrazone dei dati | Introduzione alla integrazione
dei dati |
Integrazione di dati: mapping
LAV |
| 4 (14 maggio) | Composizione di servizi | Composizione di servizi: basi teoriche |
Composizione di servizi: basi teoriche |
| 5 (21 maggio) | Composizione di servizi | Composizione di servizi: basi teoriche |
Composizione di servizi: basi teoriche |
| 6 (28 maggio) | Semantic Web e ontologie | Introduction to the Semantic Web Docente: Riccardo Rosati |
The XML layer The RDF layer 1: syntax and semantics Docente: Riccardo Rosati |
| 7 (4 giugno) | Semantic Web e ontologie | The RDF layer 2: reasoning and tools
|
The ontology layer 1: Description Logics and OWL The ontology layer 2: reasoning Docente: Riccardo Rosati |
| 8 (11 giugno) | Semantic Web e ontologie | The ontology layer 3: tools and applications Docente: Riccardo Rosati |
The ontology layer 3: tractable OWL species The rule layer Docente: Riccardo Rosati |
| 9 (18 giugno) | Composizione dei servizi | Composizione dei servizi: le tecnologie Docente: Massimo Mecella |
Composizione dei servizi: le tecnologie Docente: Massimo Mecella |
Home page del corso di Seminari di Ingegneria del Software
Laurea Specialistica in Ingegneria Informatica, Università di Roma
"La Sapienza"