Free University of Bozen-Bolzano
Faculty of Computer Science
Master of Science in Computer Science
Home page of the course
Knowledge Representation and Ontologies
The final version of the lecture notes
for Part 6 (ALC) is available.
The aim of the Knowledge Representation and Ontologies course is to
provide students with an understanding of the formal foundations of 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 description Logics and on ontology languages.
Prerequisites. Notions about first-order logic as taught in an
introductory BSc course on Logic; notions about relational databases as taught
in an introductory Bsc course.
Preliminary course program
- [M1] Lecture Notes for
Knowledge Representation and Ontologies. Diego Calvanese. 2012.
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 Informations 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 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 students. The
projects will build on advanced tools for ontology editing and ontology
about the project and software tools for project development will be made
Assessment. The exam consists of:
Both parts have to be passed to pass the exam, but they can be taken
independently of each other.
- a project, counting for 30% of the mark, and
- a final oral exam, counting for 70% of the mark.
For the oral exam, each student will be assigned two topics that she/he has
to discuss in oral form, in roughly 15 minutes each. Each of the two
topics will be assigned to the student 15 minutes in advance of the
discussion, so that the student has time to prepare herself/himself for the
discussion. The student can (and actually is encouraged to) prepare during
these 15 minutes written notes that can aid her/him during the discussion.
No written material can be used during the preparation of the notes or
during the discussion.
In case of a positive mark, the part that has been passed will count for all 3
regular exam sessions of the Academic Year (i.e., if the student fails or does
not take, e.g., the oral exam, he keeps the project and only needs to retake
the oral exam).
teaching page of Diego Calvanese
Sunday, 1-Jul-2012 18:35:55 CEST