Free University of Bozen-Bolzano
Faculty of Computer Science
Master of Science in Computer Science
Home page of the course
Ontology and Database Systems
- 16/7/2014: The final marks of the Ontology and Database
Systems exam of 30/6/2014 are now visible in the student cockpit for
all students that registered for the exam session.
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
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
Preliminary course program
Teaching material and Resources
- [M1] Lecture Notes for Ontology and Database
Systems - Foundations of
Databases (including coursework). Werner Nutt. 2014.
- [M2] Lecture Notes for Ontology and Database
Systems - Ontology-based Systems
(including coursework). Diego
- [M3] Lab
Exercises for Ontology and Database Systems. Elena Botoeva. 2014.
Databases. Addison Wesley, 1995. S. Abiteboul, R. Hull,
Description Logic Handbook: Theory, Implementation and
Applications (2nd edition). Cambridge University Press, 2007.
Edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi,
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 Information Systems - 5th Int. Reasoning
Web Summer School (RW 2009), volume 5689 of Lecture Notes in Computer
Science, pages 255-356. Springer, 2009.
- Additional reading material is available
- Further reading material might also be assigned on an individual basis,
depending on the assigned project.
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.
- The projects are assigned in the second part of the course, after the
necessary theoretical notions to work on the project have been presented.
- Projects may be carried out individually or in small groups of 2 to 3
- The projects will build on advanced tools for ontology editing and
management. Specifically, the project will be developed making use of:
- the protege ontology
- the ontop system for
ontology-based data access.
- Please consult the
describing the material to produce and present for the project.
Assessment. The final mark will be based on:
- a final oral or written exam [55%-75% of mark]
- a project [25% of mark]
- written coursework [up to 20% of mark]
A mock exam is available:
- To pass the exam, both the final exam (1) and the project (2) have to be
passed, while the written coursework (3) is optional.
- The final mark is computed as a weighted average of the exam mark
(55%-75%), the project mark (25%), and the coursework mark (up to 20%).
- If the coursework is accomplished, it can substitute the final exam for
up to 20% (the better of the two marks between final exam and coursework is
- In case of a positive mark, project and coursework mark will count for
all 3 regular exam sessions of the Academic Year (i.e., if the student
fails or does not take the final exam, (s)he keeps the coursework and the
project mark and only needs to retake the final exam).
teaching page of Diego Calvanese
Wednesday, 16-Jul-2014 12:21:58 CEST