http://www.inf.unibz.it/~calvanese/teaching/07-08-kbdb/
Free University of Bozen-Bolzano
Faculty of Computer Science
Master of Science in Computer Science
Home page of the course
Knowledge Bases and Databases
A.Y. 2007/2008
Nothing to announce.
Course presentation
form
Office hours
Objectives. The aim of the Knowledge Bases and Databases course is to
provide students with an understanding of the formal foundations of advanced
topics in databases, and in particular in the application of techniques
developed in knowledge representation to classical data management problems.
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 cours; attendance of a course on Knowledge
Representation is an advantage, but not strictly required.
Final course program
Teaching material
- [M1] Lecture Notes for
Knowledge Bases and Databases. Diego Calvanese. 2008. Available
on the course web page.
- Additional reading material (see also other material available
here).
The following articles cover in detail the part of the course on
ontology-based access to information. They are not required reading
material to successfully pass the exam, but are suggested for those
students who want to deepen their knowledge w.r.t. what covered during
lectures. Specifically, they contain detailed proofs of the results
presented during the course.
- DL-Lite: Tractable
description logics for ontologies.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio
Lenzerini, and Riccardo Rosati.
In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005),
pages 602-607, 2005.
- Tractable reasoning
and efficient query answering in description logics: The DL-Lite
family.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio
Lenzerini, and Riccardo Rosati.
Journal of Automated Reasoning, 39(3):385-429, 2007.
Revised and extended version of [1].
- Linking data to
ontologies: The description logic DL-Lite-A.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio
Lenzerini, Antonella Poggi, and Riccardo Rosati.
In Proc. of the 2nd Workshop on OWL: Experiences and Directions (OWLED
2006), 2006.
- Linking data
to ontologies.
Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Riccardo Rosati. Journal on Data Semantics,
X:133-173, 2008.
Revised and extended version of [3].
- Data complexity of
query answering in description logics.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio
Lenzerini, and Riccardo Rosati.
In Proc. of the 10th Int. Conf. on the Principles of Knowledge
Representation and Reasoning (KR 2006), pages 260-270, 2006.
- 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 in the presence of constraints
(e.g., expressed through an ontology), and will work on a project.
- Schedule: The course is taught in the 2nd semester: from February 28th
to May 28th, 2008.
- Lectures: Thursday, 15:00-17:00,
Seminar Room E420, 4thd floor, Ser E
- Exercises: Thursday: 18:00-19:00,
Seminar Room E420, 4thd floor, Ser E
- See also
RIS
calendar for changes.
- Teaching assistant:
Mariano Rodriguez Muro
Projects.
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
management.
- Detailed
information
about the project and software tools for project development.
Assessment. The exam consists of:
- the project evaluation, counting for 59% of the mark, and
- a final oral exam, counting for 41% of the mark.
Both parts have to be passed to pass the exam. In case of a positive mark, the
project will count for all 3 regular exam sessions of the Academic Year (i.e.,
if the student fails the oral exam, he keeps the project and only needs to
retake the oral exam).
teaching page of Diego Calvanese
Last modified:
Tuesday, 17-Feb-2009 0:30:09 CET