TU Wien:Deductive Databases VO (Simkus)

From VoWi
Jump to navigation Jump to search

Daten[edit]

Lecturers Mantas Simkus
ECTS 3
Alias Deductive Databases (en)
replaces Deduktive Datenbanken VO (Woltran)
Department Logic and Computation
When winter semester
Last iteration 2021WS
Language English
Mattermost deductive-databasesRegisterMattermost-Infos
Links tiss:192067, Homepage
Zuordnungen
Master Data Science Wahlmodul VAST/EX - Visual Analytics and Semantic Technologies - Extension
Master Business Informatics Wahlmodul ISE/EXT - Information Systems Engineering Extension
Master Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
Master Software Engineering & Internet Computing Wahlmodul Informationssysteme


Inhalt[edit]

  • Propositional Logic, Quantified Propositional Logic (Quantified Boolean Formulas)
  • Computational Complexity (Complexity Classes, Reduction, etc.)
  • Datalog, Definite Horn Programs
  • Answer Set Programming, Disjunctive Answer Set Programming
  • Connection of ASP and QBF
  • Well-founded Semantics
  • Description Logics (DL)
  • OWL, Ontologies
  • Combining DL and Rule-based Languages (e.g. Datalog)
  • dl-Programs

Ablauf[edit]

(WS 2021/22): same as previous WS.

(WS 2020/21, Corona): Slides were available right from the beginning (in total <=300 slides of actual content). Each week new pre-recorded videos were uploaded in which the lecturer went through the slides (very detailed) and explained them. In addition, there was a time slot each week where people were able to ask additional questions via Zoom. This time slot was determined by a poll/individual preferences, so the lecturer was very flexible and tried to find a slot which was alright for all participants. The lectures were finished shortly before christmas. Before the exam, additional slots were scheduled for questions which might have come up during preparation.

Written exam at the end of January (again considering preferences of the students) + an additional exam slot in April (again by preference). The exam was done via Zoom: You had to be in a Zoom-Call with your camera turned on, the exam sheet was provided in Tuwel to print out. Afterwards you upload your solution back to tuwel. During the exam, you have full access to the slides, either printed out or on your screen, if you have a setup where the screen you are working on is visible to the camera.

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

The lecture has a lot of overlap with some other "logic" lectures, especially TU_Wien:Einführung_in_wissensbasierte_Systeme_VU_(Egly). Also Logik für Wissensrepräsentation VO covers some of the topics.

In general, some logic oriented knowledge is helpful to grasp the concepts even quicker, but the lecturer explains everything really in detail if you are unfamiliar with it.

Vortrag[edit]

Slides were available right from the beginning (in total <=300 slides of actual content). Each week new pre-recorded videos were uploaded in which the lecturer went through the slides (very detailed) and explained them. In addition, there was a time slot each week where people were able to ask additional questions via Zoom. This time slot was determined by a poll/individual preferences, so the lecturer was very flexible and tried to find a slot which was alright for all participants. The lectures were finished shortly before christmas. The explanation in the videos is very detailed but can be conveniently watched with increased speed (1.5 - 1.8).

Übungen[edit]

The slides contain some examples which are similar to the ones given in the exam. In between are a few voluntary exercises (do not count towards a grade), afterwards the lecturer presents and discusses the solutions. No mandatory exercises, grade is only determined by the exam.

Prüfung, Benotung[edit]

(WS 2021/22): No surprises in the exam, exercises similar to what has been discussed already in lecture. Grading is perfectly fair.

(WS 2020/21) The written exam is very practical and consists of exercises similar to such as are presented and discussed in the lecture. For the exam you can use the lecture slides. Shortly before the exam the lecturer wrote the kinds of exercises we could expect in the exam into the Tuwel forum.

Dauer der Zeugnisausstellung[edit]

(WS 2021/22): Exam results within 1 week. Certificate took about 1 month.

Zeitaufwand[edit]

(WS 2021/22): 2-3 hours each week to listen to pre-recorded lecture and try to understand the material. A couple of days (maybe total of ~12hrs) of reviewing for exam were enough to not need to refer to the slides at all during exam. Maybe a bit more time needed if you haven't taken KBS before, however it is pretty doable and fair for the ECTS you get.

Unterlagen[edit]

noch offen

Tipps[edit]

(WS 2021/22): If you have taken KBS before, most topics should be already covered ==> easy 3 ECTS. But also if you take this course first, will give some pretty good idea if you take KBS later.

Verbesserungsvorschläge / Kritik[edit]

noch offen