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
- Basics of First-Order Logic
[pdf]
- Logic based approach to conceptual modeling
[pdf]
Lectures
- Overview of the part on Knowledge Representation and Ontologies
[pdf]
- Modeling information through ontologies
[pdf]
- Introduction to ontologies
- Using logic for representing knowledge
- Ontology languages
- UML class diagrams as FOL ontologies
- Description Logics
[pdf]
- Brief introduction to computational complexity
- Introduction to Description Logics
- Description Logics and UML Class Diagrams
- Query answering over databases and ontologies
[pdf]
- Querying databases and ontologies
- Query answering in Description Logics
- Ontology based data access
[pdf]
- The DL-Lite family of tractable Description Logics
- Linking ontologies to relational data
- Reasoning in the DL-Lite family
[pdf]
- TBox reasoning
- TBox & ABox reasoning and query answering
- Beyond DL-Lite
- Reasoning in the ALC family
[pdf]
- Properties of ALC
- Reasoning over ALC concept expressions
- Reasoning over ALC knowledge bases
- Extensions of ALC
- Reasoning in extensions of ALC
- SHOIQ and SROIQ
- Basics of first-order logic
[pdf,
solution]
- Conceptual modeling in UML and first-order logic formalization
[pdf,
solution]
- Modeling and reasoning using Protege
[pdf]
- Programming OWL ontologies with OWL API
[pdf]
- Basics of Description Logics
[pdf, solution]
- Reasoning in Description Logics
[pdf, solution]
- Learning to use Ontop from Protege with the Books example
[html, solution]
- Learning to use the Ontop API
[html]
- Perfect reformulation
[pdf]
- Unfolding and tableaux
[pdf]
- Tableaux with TBoxes
[pdf]
course home page
Last modified:
Wednesday, 7-Dec-2022 1:53:57 CET