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 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 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]

noch offen

Zeitaufwand[edit]

noch offen

Unterlagen[edit]

noch offen

Tipps[edit]

noch offen

Verbesserungsvorschläge / Kritik[edit]

noch offen