Lecture "Deductive Databases and Knowledge-Based Systems"

Master (Informatik/Wirtschaftsinformatik)
Regular Dates: 
every Tuesday
9:45 AM (Online)
starting on 20.10.2020

This lecture will be held online. We will meet every Tuesday in our virtual conference room to give a short summary of the last lesson and discuss open questions. Please join our StudIP lecture Link. The conference room and acess will be shared on StudIP.

We will upload slides, exercises, and videos on our Website every Tuesday. 

This lecture covers the topics of knowledge-based systems and deductive databases. The focus will be on:

  • First-order logic and clause programming (especially Datalog)
  • Deductive database architecture and query processing
  • Expert Systems
  • The Semantic Web

What you will you learn?

- What are knowledge-based systems? What can you do with them?
- Many KBS are based on formal logics. You will:
- ...learn about different kinds of formal logic
- ...learn syntactic basics of predicate logic
- ...learn of how to interpret logical expressions
- ...learn how to efficiently evaluate logical expressions in a database setting
- ...how to design a KBS using different flavors of formal logic

- We will show you how the vision of knowledge based systems was born and what became of it
- We will show you how the KBS ideas have been reborn within the semantic web
- We will show you how the semantic web works and what it tries to achieve

Date Topic Slides Exercises Videos Extra Attachments
20.10.2020 Introduction Lecture 1   Video 1  
27.10.2020 Syntax Lecture 2 Excercise 1 Video 2  
03.11.2020 Models Lecture 3   Video 3  
10.11.2020 Datalog 1 Lecture 4   Video 4  
17.11.2020 Datalog 2 Lecture 5 Exercise 2 Video 5

Youtube links for the computer generations detour:

0th1st2nd3rd4th, and 5th generation computers.

24.11.2020 Datalog 3 Lecture 6 Exercise 3 Video 6  
01.12.2020 Datalog 4 Lecture 7 Exercise 4 Video 7  
08.12.2020 Probablistic & Non-Monoton Lecture 8   Video 8  
15.12.2020 Expert Systems Lecture 9 Exercise 5 Video 9  
12.01.2021 Representation & RDF Lecture 10   Video 10 Tim Berners Lee's Scientific American Article.
19.01.2021 Ontologies 1 Lecture 11 Exercise 6

Video 11

A resonable Semantic Web by Pascal Hitzler
26.01.2021 Ontologies 2 Lecture 12 Exercise 7

Video 12

(starts at 1:00 min)

02.02.2021 Social Systems Lecture 13   Video 13



Question Answering Lecture 14   Video 14 Watson playing Jeopardy