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

Knowledge Representation and Ontologies

Final Program A.Y. 2011/2012

Prof. Diego Calvanese

Teaching material.

  1. Modeling information through ontologies [M1: Part 1; M3]
    1. Introduction to ontologies
    2. Using logic for representing knowledge
    3. Ontology languages
    4. UML class diagrams as FOL ontologies
  2. Description Logics [M1: Part 2; M2]
    1. Introduction to DLs
    2. Description Logics and UML Class Diagrams
  3. Query answering over databases and ontologies [M1: Part 3]
    1. Query answering in databases
    2. Querying databases and ontologies
    3. Query answering in Description Logics
  4. Ontology based data access [M1: Part 4; M3]
    1. The DL-Lite family of tractable Description Logics
    2. Linking ontologies to relational data
  5. Reasoning in the DL-Lite family [M1: Part 5; M3]
    1. TBox reasoning
    2. TBox & ABox reasoning and query answering
    3. Beyond DL-Lite
  6. Reasoning in the ALC family [M1: Part 6; M2]
    1. Properties of ALC
    2. Reasoning over ALC concept expressions
    3. Reasoning over ALC knowledge bases
    4. Extensions of ALC
    5. Reasoning in extensions of ALC
    6. SHOIQ and SROIQ

Back to course home page
Last modified: Monday, 9-Jul-2012 19:15:24 CEST