Teaching material.

• [M1] Lecture Notes for Ontology and Database Systems - Foundations of Database Systems. Werner Nutt. 2014.
• [M2] Lecture Notes for Ontology and Database Systems - Ontology-based Systems. Diego Calvanese. 2014.
• [M3] Lab Exercises for Ontology and Database Systems. Elena Botoeva. 2014.
• [M4] Foundations of Databases. Addison Wesley, 1995. S. Abiteboul, R. Hull, V. Vianu.
• [M5] The Description Logic Handbook: Theory, Implementation and Applications (2nd edition). Cambridge University Press, 2007. Edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider.
• [M6] Ontologies and databases: The DL-Lite approach. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, and Riccardo Rosati. In Semantic Technologies for Informations Systems - 5th Int. Reasoning Web Summer School (RW 2009), volume 5689 of Lecture Notes in Computer Science, pages 255-356. Springer, 2009.

Part 1: Foundations of Database Systems

1. Relational Query Languages [M1: Part 1; M4]
   1. Logic as a query language
   2. Properties of queries: safety and domain independence
   3. Equivalence with relational algebra and SQL
   4. Mappings between relational algebra and relational calculus
2. Datalog and Recursion [M1: Part 2; M4]
   1. Conjunctive queries
   2. Plain datalog
   3. Evaluation mechanisms
   4. Datalog with negation
3. Query Processing and Optimization [M1: Part 3; M4]
   1. Algebraic optimization (short)
   2. Containment and equivalence of conjunctive queries
   3. Conjunctive query minimization
4. Incomplete Information [M1: Part 4; M4]
   1. Models of incomplete information
   2. Querying incomplete information

Part 2: Ontology-based Systems

1. Modeling information through ontologies [M2: Part 1; M6]
   1. Introduction to ontologies
   2. Using logic for representing knowledge
   3. Ontology languages
   4. UML class diagrams as FOL ontologies
2. Description Logics [M2: Part 2; M5]
   1. Brief introduction to computational complexity
   2. Introduction to Description Logics
   3. Description Logics and UML Class Diagrams
3. Query answering over databases and ontologies [M2: Part 3]
   1. Querying databases and ontologies
   2. Query answering in Description Logics
4. Ontology based data access [M2: Part 4; M6]
   1. The DL-Lite family of tractable Description Logics
   2. Linking ontologies to relational data
5. Reasoning in the DL-Lite family [M2: Part 5; M6]
   1. TBox reasoning
   2. TBox & ABox reasoning and query answering
   3. Beyond DL-Lite
6. Reasoning in the ALC family [M2: Part 6; M2]
   1. Properties of ALC
   2. Reasoning over ALC concept expressions
   3. Reasoning over ALC knowledge bases
   4. Extensions of ALC
   5. Reasoning in extensions of ALC