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

Knowledge Representation and Ontologies

Lectures Notes A.Y. 2010/2011

Prof. Diego Calvanese,   Prof. Luciano Serafini


  1. Course overview [pdf]
  2. Modeling information through ontologies [pdf] (D. Calvanese)
    1. Introduction to ontologies
    2. Ontology languages
    3. UML class diagrams as FOL ontologies
  3. Using logic for knowledge representation (L. Serafini)
    1. Main components of a logic
    2. Reasoning methods in logics
    3. Exercises on analyzing logics
  4. Description Logics (L. Serafini)
    1. Introduction to DLs
    2. Reasoning in simple DLs
    3. More expressive DLs
    4. Fuzzy DLs
    5. Ontology modularization, integration, and contextualization
  5. Ontology based data access [pdf] (D. Calvanese)
    1. Description Logics for data access
    2. Query answering over databases and ontologies
    3. Linking ontologies to relational data
    4. Reasoning in the DL-Lite family

Back to course home page
Last modified: Monday, 4-Apr-2011 0:27:51 CEST