Teaching material.

[M1] Lecture Notes for Knowledge Bases and Databases. Diego Calvanese. 2008. Available on the course web page.

1. First-order queries [M1: Part 1]
   • First-order logic
   • First-order query evaluation
   • Conjunctive queries
2. Ontology-based access to information [M1: Part 2]
   • Introduction to ontologies
   • Description Logics as ontology formalisms
   • Reasoning in lightweight Description Logics
   • Accessing data through ontologies
3. Data integration [M1: Part 3]
   • Introduction to data integration
   • Query answering in the absence of constraints
   • Query answering in the presence of constraints