Teaching material.

• [M1] Lecture Notes for Knowledge Representation and Ontologies. Diego Calvanese. 2012.
• [M2] 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.
• [M3] 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.

1. Modeling information through ontologies [M1: Part 1; M3]
   1. Introduction to ontologies
   2. Using logic for representing knowledge
   3. Ontology languages
   4. UML class diagrams as FOL ontologies
2. Description Logics [M1: Part 2; M2]
   1. Introduction to DLs
   2. Description Logics and UML Class Diagrams
3. Query answering over databases and ontologies [M1: Part 3]
   1. Query answering in databases
   2. Querying databases and ontologies
   3. Query answering in Description Logics
4. Ontology based data access [M1: Part 4; M3]
   1. The DL-Lite family of tractable Description Logics
   2. Linking ontologies to relational data
5. Reasoning in the DL-Lite family [M1: Part 5; M3]
   1. TBox reasoning
   2. TBox & ABox reasoning and query answering
   3. Beyond DL-Lite
6. Reasoning in the ALC family [M1: 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
   6. SHOIQ and SROIQ