Lecture “Deductive Databases and Knowledge-Based Systems”

Master (Informatik / Wirtschaftsinformatik)
Oral (30 minutes, English or German)
Regular Dates: 
Tuesdays, 8:45 AM – 11:15 PM, IZ 251, starting with April 15th
Available exam dates: 28.8., 29.8., 8.9., 9.9.

The exam dates are set now. You may choose a date from the following list: 11.8., 12.8., 28.8., 29.8., 8.9., 9.9., 18.9., 19.9. Please contact our secretary Frau Dalkiran to make your appointment!

The evaluation is completed and the results can be accessed at our teaching quality page.

As you have seen in the first lecture, the projector's lighting was quite dim. We therefore relocated the lecture to IZ 251 (ifis seminar room).

Due to a mix-up in lecture dates, the regular date has been updated: This lecture will be held on Tuesdays from 8:45 AM – 11:15 PM in IZ 160, starting with April 15th. We apologize for any inconvenience.


This course covers the topics of deductive databases and knowledge-based systems (KBSs). This includes (first-order) logic, clause programming (especially in Datalog), deductive database architecture, query processing in deductive databases, expert systems, and the Semantic Web.

Among other things, you will learn about different kinds of formal logics, syntactic basics of predicate logic, the interpretation of logical expressions, efficiently evaluating logical expressions in a database setting, designing a KBS using different flavors of formal logic, the history and vision of KBSs, the rebirth of KBSs in the Semantic Web, and the vision and inner workings of the Semantic Web.


  Date Topic Slides Exercises Videos Comments
1 15.04.2014 Introduction Slides 1   Video 1  
2 22.04.2014 First Order Logic Slides 2 Exercise 1 Audio 2 Unfortunately a computer crash ruined the video. Refer to last lecture's video or listen to the recovered audio stream.
3 29.04.2014 Logical Models Slides 3 Exercise 2 Video 3  
4 06.05.2014 Datalog Basics Slides 4 Exercise 3 Video 4  
5 13.05.2014 Datalog Herbrand Models Slides 5 Exercise 4 Video 5 Youtube links for the computer generations detour: 0th, 1st, 2nd, 3rd, 4th, and 5th generation computers.
6 20.05.2014 Datalog Fixpoint Semantics Slides 6 Exercise 5 Video 6  
7 27.05.2014 Datalog Optimization Slides 7 Exercise 6 Video 7 Original paper on Magic Sets with an advanced example.
8 03.06.2014 Uncertain Resoning Slides 8   Video 8 Güntzer, Kießling, and Thöne's paper about Probabilistic Reasoning
9 17.06.2014 Expert Systems Slides 9 Exercise 7 Video 9  
10 24.06.2014 Knowledge Representation Slides 10   Video 10 Tim Berners Lee's article about the Semantic Web in Scientific American.
11 01.07.2014 Ontologies Slides 11 Exercise 8 Video 11  
12 08.07.2014 Semantic Web Slides 12 Video 12  
13 15.07.2014 Social Systems Slides 13   Video 13 James Surowiecki and The Wisdom of Crowds. Browser for the MeSH Ontology.
14 22.07.2014 Question Answering Slides 14   Video 14 Watson plays Jeopardy