Free University of Bolzano/Bozen
Faculty of Computer Science
European Master in Computational Logic

Ontology and Database Systems

Final Program A.Y. 2016/2017

Prof. Diego Calvanese     Prof. Werner Nutt


Teaching material.


Module 1: Foundations of Databases

Lecturer: Prof. Werner Nutt
Credits: 4 CFU
  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

Module 2: Knowledge Representation and Ontologies

Lecturer: Prof. Diego Calvanese
Credits: 8 CFU
  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


Back to course home page
Last modified: Wednesday, 7-Jun-2017 17:51:18 CEST