184.730 Knowledge-based Systems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 4.0h, 6.0EC
TUWELQuinn ECTS Erhebung


  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid


Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage Techniken, Methoden und Algorithmen
die in Wissensbasierten Systemen Verwendung finden in theoretischer und praktischer Arbeit anwenden,
sowie für Speziallehrveranstaltungen verwenden.


  • Email address for questions: kbsci-2022s AT kr.tuwien.ac.at
  • The first lecture is on Wed Mar 09, 2022.
  • Mandatory TISS course registration until Mar 10, 2022.
  • Mandatory TUWEL entry test from Mar 11 to Mar 13, 2022 (00:00-23:55). Everybody who takes the entry test will receive a certificate (i.e., it is not possible to unregister after the entry test). If you stop participating after taking the entry test, you will receive a negative certificate.

Inhalt der Lehrveranstaltung

The module discusses the following topics:

  • Rule-based systems and RETE
  • Predicate Logic (as a representation language)
  • Description Logics (ALC, Basics, Tableau)
  • Truth Maintenance Systems
  • Answer Set Programming
  • Probabilistic Reasoning


Lecture-Part: Uwe Egly, Thomas Eiter, and Hans Tompits
Exercise-Part: Antonius Weinzierl

Course of Action and Topics of the Lecture Part

Attention: This semester, the course is planned to be held as a mixed presence/online course, with a possible fall-back to a pure online course depending on the COVID situation. The final exam is oral and also depending on the situation, it will be held in presence or online. Moreover, the exercise test is in written form and also for that the COVID situation will determine whether it will be held in presence or online form.

  • Wed Mar 09: Introduction+History+Architecture (Egly)
  • Thu Mar 10: Registration deadline (TISS)
  • Fri Mar 11 to Sun Mar 13: Mandatory entry test (TUWEL)
  • Wed Mar 16: Rules I (Egly)
  • Wed Mar 23: Rules II (Egly)
  • Wed Mar 30: PL1 + PL1 as Specification Language (Egly)
  • Wed Apr 06: Description Logics I (Eiter)
  • Wed Apr 13: Easter break
  • Wed Apr 20: Easter break
  • Wed Apr 27: Description Logics II (Eiter)
  • Tue May 03: Exercises Q&A Session - Sheet 1 (Weinzierl)
  • Wed May 04: Truth Maintenance Systems (Eiter)
  • Fri May 06, 23:55: Deadline for Project 1 (TUWEL)
  • Sat May 06-Sun May 08: Registration for a solution discussion for
    Project 1 (TUWEL)
  • Mon May 09-Wed May 11: Project 1 solution discussions
  • Tue May 10: Exercises Q&A Session - Sheet 2 (Weinzierl)
  • Wed May 11: Answer Set Programming I (Tompits)
  • Wed May 18: Answer Set Programming II (Tompits)
  • Wed May 25: Probabilistic Reasoning (Tompits)
  • Wed Jun 08: Exercises Q&A Session - Sheet 3 (Weinzierl)
  • Fri Jun 03, 23:55: Deadline for Project 2 (TUWEL)
  • Fri Jun 10: Mandatory exercise test (2pm-4pm, EI 9)
  • TBA: Main exam (orally, 3 slots, 1h each, 3 students per slot)


Mandatory registration until Mar 11, 2020.

Mandatory TUWEL entry test from Mar 11 to Mar 13, 2022 (00:00-23:55). Everybody who takes the entry test will receive a certificate (i.e., it is not possible to unregister after the entry test).

Exercise test which covers 3 exercise sheets

Mandatory (closed book) exercise test on June 10, 14:00-16:00. The test examines the following three exercise sheets and their background:

  • Sheet 1: Rules + Predicate Logic
  • Sheet 2: Description Logics + Truth Maintenance Systems
  • Sheet 3: Answer Set Programming + Probabilistic Reasoning
  • The exercise test is closed book and planned to be in presence, otherwise (depending on the COVID situation) in online form for which the following infrastructure is required: stable internet connection, a device with webcam and microphone, either a printer or a second device to view a PDF, and a scanner or camera with software to generate a single PDF of the written test.

Tutor hours will be available for questions (see TUWEL).

The test is evaluated with up to 27 points.

2 Projects

Two knowledge-based systems must be implemented:

  • Submission via TUWEL
  • Ontology project discussion May 09 to May 11, 2022
  • Automatic grading with testcases for the ASP project

Project submission deadlines:

  • Project 1: May 06, 2022
  • Project 2: Jun 03, 2022


  • Files must comply with the project specification!
  • No group work!
  • Exercises and projects must be worked out individually
  • Finalisation of points after plagiarism check (possibility of fines and negative grades)

Used tools:

  • Protege: http://protege.stanford.edu/
  • Potassco: https://potassco.org/


Vorlesungsteil mit aufgezeichnetem Frontalvortrag, erweitert um Online-Besprechungen für Fragen+Antworten; Übungsteil mit selbständiger Erarbeitung von Aufgaben und Projekten.



Weitere Informationen

ECTS breakdown: 6 ECTS = 150 Hours

  • Lectures + Introduction 30h
  • Solving the exercises 30h
  • Preparation for the exercise test 15h
  • Exercise test 1h
  • Implementing and presenting the projects 20h
  • Preparation for the final exam 53h
  • Final exam 1h

Vortragende Personen


LVA Termine

Mi.16:00 - 19:0002.03.2022 - 29.06.2022FH Hörsaal 2 Lecture
Di.17:00 - 19:0003.05.2022FH Hörsaal 2 Exercises Q&A Session 1
Di.17:00 - 19:0010.05.2022FH Hörsaal 2 Exercises Q&A Session 2
Knowledge-based Systems - Einzeltermine
Mi.02.03.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.09.03.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.16.03.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.23.03.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.30.03.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.06.04.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.27.04.202216:00 - 19:00FH Hörsaal 2 Lecture
Di.03.05.202217:00 - 19:00FH Hörsaal 2 Exercises Q&A Session 1
Mi.04.05.202216:00 - 19:00FH Hörsaal 2 Lecture
Di.10.05.202217:00 - 19:00FH Hörsaal 2 Exercises Q&A Session 2
Mi.11.05.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.18.05.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.25.05.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.01.06.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.08.06.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.15.06.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.22.06.202216:00 - 19:00FH Hörsaal 2 Lecture
Mi.29.06.202216:00 - 19:00FH Hörsaal 2 Lecture


Die Note ergibt sich aus einer mündlichen Prüfung (online) und den Leistungen der Übungen.


Von Bis Abmeldung bis
15.02.2022 00:00 10.03.2022 23:55 10.03.2022 23:55


066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
066 931 Logic and Computation Pflichtfach2. Semester
066 938 Technische Informatik Gebundenes Wahlfach


Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!