Free University of Bolzano/Bozen
Faculty of Computer Science
European Master in Computational Logic

Ontology and Database Systems

A.Y. 2017/2018

Teaching Material
for the part on: Knowledge Representation and Ontologies

Prof. Diego Calvanese


Coursework

  1. Basics of First-Order Logic [pdf]
  2. Logic based approach to conceptual modeling [pdf]

Lectures

  1. Overview of the part on Knowledge Representation and Ontologies [pdf]
  2. Modeling information through ontologies [pdf]
    1. Introduction to ontologies
    2. Using logic for representing knowledge
    3. Ontology languages
    4. UML class diagrams as FOL ontologies
  3. Description Logics [pdf]
    1. Brief introduction to computational complexity
    2. Introduction to Description Logics
    3. Description Logics and UML Class Diagrams
  4. Query answering over databases and ontologies [pdf]
    1. Querying databases and ontologies
    2. Query answering in Description Logics
  5. Ontology based data access [pdf]
    1. The DL-Lite family of tractable Description Logics
    2. Linking ontologies to relational data
  6. Reasoning in the DL-Lite family [pdf]
    1. TBox reasoning
    2. TBox & ABox reasoning and query answering
    3. Beyond DL-Lite
  7. Reasoning in the ALC family [pdf]
    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

Lab Exercises

  1. Basics of first-order logic [pdf, solution]
  2. Conceptual modeling in UML and first-order logic formalization [pdf, solution]
  3. Modeling and reasoning using Protege [pdf]
  4. Programming OWL ontologies with OWL API [pdf]
  5. Basics of Description Logics [pdf, solution]
  6. Reasoning in Description Logics [pdf, solution]
  7. Learning to use Ontop from Protege with the Books example [html, solution]
  8. Learning to use the Ontop API [html]
  9. Perfect reformulation [pdf]
  10. Unfolding and tableaux [pdf]
  11. Tableaux with TBoxes [pdf]

Back to course home page
Last modified: Wednesday, 7-Dec-2022 1:53:57 CET