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

Home page of the course
Ontology and Database Systems

A.Y. 2017/2018

Prof. Diego Calvanese     Prof. Werner Nutt


Official course description

Office hours:

Objectives. Research on ontologies is focussed on logic-based formalisms providing powerful deduction services with expressive conceptual languages and with high computational complexity. In contrast, database research deals with efficient storage and retrieval of large amounts of documents with simple languages. The module introduces current logic-based approaches trying to merge the two disciplines: formalisms and technologies related to problems concerning Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Database Theory, Information Integration, Peer to Peer Information Systems. The main objective is that upon completion of this module, students have a detailed understanding of how knowledge is formalized and processed in ontology research using description logics, and of problems and issues that have to be respected. They furthermore will have acquired skills in designing, formally specifying, and realizing techniques of conceptual design, database access and integration.

Prerequisites. Notions on first-order logic as taught in an introductory BSc course on mathematical logic, and on relational databases as taught in an introductory Bsc course; Java programming and SQL with JDBC Connectivity.

Course program

The course is structured in two modules:

  1. Foundations of Databases (4 CFU); lecturer: Werner Nutt
  2. Knowledge Representation and Ontologies (8 CFU); lecturer: Diego Calvanese

A detailed program is available.

Teaching material and Resources

Useful links

Teaching format. The course is organized as frontal lectures on the course topics, possibly complemented by monographic seminars that serve as a starting point for discussing the techniques involved. During lab sessions the students will familiarize with the usage and internals of state-of-the-art tools for managing and querying relational data sources through an ontology, and will work on a project.


Assessment. The final mark will be based on:

  1. a final exam (written or oral) [55%-75% of mark]
  2. a project [25% of mark]
  3. written coursework [up to 20% of mark]
A mock exam is available:

Back to teaching page of Diego Calvanese

Last modified: Thursday, 8-Mar-2018 3:07:15 CET