After successful completion of the course, students are able to...

Important!

Starting with the winter term 2024/2025, the course will be held in the summer term instead of the winter term.
Thus, the course will not be offered in winter term 2024, but instead in the summer term 2025!

... develop ASP programs and queries, as well as to classify such programs by their language concepts and complexity.
... describe the structure and concepts of Description Logics (DLs), as well as to distinguish and compare different DLs.
... design ontologies in OWL and DLs.
... analyze reasoning problems related to DLs and to apply them for solving typical data management- and querying tasks.
... identify the difference between (logic programming) rules and ontologies.
... use formalisms for combining rules and ontologies.
... identify and assess the problems emerging when trying to combine these two kinds of formalisms.
... apply all of the presented formalisms to improve the query answering capabilities of ordinary relational databases.

The course will cover various query languages for expressing complex queries over data. In particular, the course will present Datalog and its extensions.

Important! Starting with the winter term 2024/2025, the course will be held in the summer term instead of the winter term.
Thus, the course will not be offered in winter term 2024, but instead in the summer term 2025!

• Datalog with disjunction, negation, existential quantification
• Answer Set Semantics, well-founded semantics
• external theories in the form of Description Logic ontologies

All concepts and contents of the course are presented during lectures and demonstrated on small examples.

Important! Starting with the winter term 2024/2025, the course will be held in the summer term instead of the winter term.
Thus, the course will not be offered in winter term 2024, but instead in the summer term 2025!

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam

Important! Starting with the winter term 2024/2025, the course will be held in the summer term instead of the winter term.
Thus, the course will not be offered in winter term 2024, but instead in the summer term 2025!

The evaluation and grading of the lecture is based on a written exam at the end of the course.