Lecture “Deductive Databases and Knowledge-Based Systems”

Master (Informatik / Wirtschaftsinformatik)
Oral (30 Minutes, German or English)
Regular Dates: 
Every Thursday, from 09:45 till 12:15, starting the 29th of October till the 11th of February
Lecture will take place at the Informatikzentrum, Mühlenpfordtstraße 23, room IZ 160

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.

This lecture will be in English


Oral Exams

Please choose one of the following dates to sit for the lecture's oral exam, and book an individual slot with our institute's secretary Regine Dalkiran.

  • 18th and 19th of February, 2016
  • 25th and 26th of Feburary, 2016 (New dates, please register for an exam slot quickly)
  • 29th of Feburary and 1st of March, 2016 (Fully booked; No time-slots available anymore)
  • 10th and 11th of March, 2016 (Fully booked; No time-slots available anymore)
Date Topic Slides Exercises Videos Extra Attachments
29.10 Introduction Slides - Video (unfortunatly, our video equipment broke after 50 minutes. Video is therefore incomplete.) -
05.11 Syntax Slides - Video -
12.11 Models Slides - Video -
19.11 Datalog 1 Slides Exercise Video -
26.11 Datalog 2 Slides Exercise Video -
03.12 Datalog 3 Slides Exercise Video -
10.12 Datalog 4 Slides Exercise Video Original paper on Magic Sets with an advanced example.
17.12 Probablistic & Non-Monoton Slides - Video Güntzer, Kießling, and Thöne's paper about Probabilistic Reasoning
07.01 Expert Systems Slides Exercise Video  
14.01 Representation & RDF Slides - Video Tim Berners Lee's article about the Semantic Web in the Scientific American magazine.
21.01 Ontologies 1 Slides Exercise Video  
28.01 Ontologies 2 Slides Exercise Video A reasonable semantic web - Pascal Hitzler
04.02 Social Systems Slides - Video  
11.02 Question Answering Slides - Video Watson playing Jeopardy


File KBS15_01.mp429/10/15 1:57 pm91.89 MB
File KBS_WiSe15_v1.pdf29/10/15 1:59 pm5.44 MB
File kbs02.mp406/11/15 2:54 pm235.21 MB
File KBS_WiSe15_v2.pdf06/11/15 2:54 pm3.9 MB
File kbs03.mp415/11/15 4:41 pm193.4 MB