| Week | Subject | Tuesday (15:45-17:15 & 17:30-19:00) |
Wednsday (15:45-17:15) |
| 1 (April 21) | Conjunctive queries | Introduction to the course First Order Logic Conjunctive queries |
Conjunctive queries
Union of Conjunctive queries |
| 2 (April 28) | Ontology-based data access/data integration | Intro to Ontologies and Description logics |
Description logics -Constructs -Reasoning tasks: satisfiability and logical implication |
| 3 (May 5) | Ontology-based data access/data integration | Query ansquering of conjunctive queries over ontologies |
Ontology based data access: |
| 4 (May 12) | Ontology-based data access/data integration | Quonto, Mastro and the Protege plugin |
Intensional reasoning in the DL-lite family by Domenico Lembo |
| 5 (May 19) | Ontology-based data access/data integration | Query answering in the DL-lite family | Query answering in the DL-lite family + Optimizations implemented in Quonto by Claudio Corona |
| 6 (May 26) | Ontology-based data access/data integration | FOL queries over ontologies + |
Data integration an introduction |
| 7 (June 2) | Service Composition | Modeling service dynamics: |
Service oriented computing and service composition |
| 8 (June 9) | Service Composition | Service composition via Simulation |
Safety games and realization in TLV |
| 9 (June 16) | Service Composition | Service composition in practice by Massimo Mecella & Valerio Colaianni |
Service composition in practice
|
Back to Seminari di Ingegneria del Software/Seminars of Software Engineering home page
Laurea Specialistica in Ingegneria Informatica/Master in Computer Engineering, Sapienza Università di Roma