Free University of Bolzano/Bozen
Faculty of Computer Science
Master of Science in Computer Science
Knowledge Representation and Ontologies
Preliminary Program A.Y. 2010/2011
Teaching material.
- [M1] Lecture Notes for
Knowledge Representation and Ontologies. Diego Calvanese,
Luciano Serafini. 2011.
- [M2]
The
Description Logic Handbook: Theory, Implementation and
Applications (2nd edition). Cambridge University Press, 2007.
Edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi,
P.F. Patel-Schneider.
- [M3]
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.
- Modeling information through ontologies [M1: Part 1; M3]
(D. Calvanese)
- Introduction to ontologies
- Ontology languages
- UML class diagrams as FOL ontologies
- Using logic for knowledge representation [M1: Part 2]
(L. Serafini)
- Main components of a logic
- Reasoning methods in logics
- Exercises on analyzing logics
- Description Logics [M1: Part 3; M2]
(L. Serafini)
- Introduction to DLs
- Reasoning in simple DLs
- More expressive DLs
- Fuzzy DLs
- Ontology modularization, integration, and contextualization
- Ontology based for data access [M1: Part 4; M3]
(D. Calvanese)
- Description Logics for data access
- Query answering over databases and ontologies
- Linking ontologies to relational data
- Reasoning in the DL-Lite family
course home page
Last modified:
Monday, 4-Apr-2011 0:25:39 CEST