Free University of Bolzano/Bozen
Faculty of Computer Science
European Master in Computational Logic
Ontology and Database Systems
Final Program A.Y. 2016/2017
Teaching material.
- [M1] Lecture Notes for Ontology and Database
Systems - Foundations of
Databases. Werner Nutt. 2016.
- [M2] Lecture Notes for Ontology and Database
Systems - Knowledge Representation and
Ontologies. Diego
Calvanese. 2016.
- [M3] Lab
Exercises for Ontology and Database Systems. Guohui Xiao. 2016.
- [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.
Module 1: Foundations of Databases
Lecturer: Prof. Werner Nutt
Credits: 4 CFU
- Relational Query Languages [M1: Part 1; M4]
- Logic as a query language
- Properties of queries: safety and domain independence
- Equivalence with relational algebra and SQL
- Mappings between relational algebra and relational calculus
- Datalog and Recursion [M1: Part 2; M4]
- Conjunctive queries
- Plain datalog
- Evaluation mechanisms
- Datalog with negation
- Query Processing and Optimization [M1: Part 3; M4]
- Algebraic optimization (short)
- Containment and equivalence of conjunctive queries
- Conjunctive query minimization
- Incomplete Information [M1: Part 4; M4]
- Models of incomplete information
- Querying incomplete information
Module 2: Knowledge Representation and Ontologies
Lecturer: Prof. Diego Calvanese
Credits: 8 CFU
- Modeling information through ontologies [M2: Part 1; M6]
- Introduction to ontologies
- Using logic for representing knowledge
- Ontology languages
- UML class diagrams as FOL ontologies
- Description Logics [M2: Part 2; M5]
- Brief introduction to computational complexity
- Introduction to Description Logics
- Description Logics and UML Class Diagrams
- Query answering over databases and ontologies
[M2: Part 3]
- Querying databases and ontologies
- Query answering in Description Logics
- Ontology based data access [M2: Part 4; M6]
- The DL-Lite family of tractable Description Logics
- Linking ontologies to relational data
- Reasoning in the DL-Lite family [M2: Part 5; M6]
- TBox reasoning
- TBox & ABox reasoning and query answering
- Beyond DL-Lite
- Reasoning in the ALC family [M2: Part 6; M2]
- Properties of ALC
- Reasoning over ALC concept expressions
- Reasoning over ALC knowledge bases
- Extensions of ALC
- Reasoning in extensions of ALC
course home page
Last modified:
Wednesday, 7-Jun-2017 17:51:18 CEST