Free University of Bozen-Bolzano
Faculty of Computer Science
Master of Science in Computer Science

Home page of the course
Ontology and Database Systems

A.Y. 2013/2014

Prof. Diego Calvanese     Prof. Werner Nutt


Course presentation form

Office hours:

Objectives. The aim of the Ontology and Database Systems course is to familiarize students with the concepts underlying database system and classical logic-based knowledge representation languages, with an overview of the reasoning methods for them, and of the application of techniques developed in knowledge representation to classical data management problems. Most of the course will focus on relational database theory, description logics and ontology languages.
In addition to studying the technical material, students will train fundamental mathematical skills such as giving formal definitions, formulating theorems, and proving or disproving formal statements.

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

Preliminary course program

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 oral or written exam [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: Wednesday, 16-Jul-2014 12:21:58 CEST