Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...... ASP Programme/Abfragen zu entwickeln sowie nach Sprachkonstrukten und Komplexität zu klassifizieren.... die Struktur und Sprachkonzepte von Description Logics (DLs) zu beschreiben, sowie verschiedene DLs zu unterscheiden und zu vergleichen.... Ontologien in OWL und DLs zu entwerfen.... Reasoning Probleme für DLs zu analysieren und zur Lösung von typischen Datenmanagementproblemen anzuwenden.... die Unterschiede zwischen regelbasierter Sprachen und Ontologien zu bestimmen.... Formalismen zur Kombination von regelbasierte Sprachen und Ontologien zu verwenden.... Probleme die bei der Kombination dieser Formalismen auftreten können bestimmen und beurteilen.... alle präsentierten Formalismen zur Erweiterung und Verbesserung typischer relationaler Datenbankabfragesprachen einzusetzen.
Hinweis: Die Lehrveranstaltung wird auf Englisch abgehalten!
The course will cover various query languages for expressing complex queries over data. In particular, the course will present Datalog and its extensions.
Sämtlichen Konzepte und Inhalte werden im Rahmen der Vorlesung präsentiert und an Hand von Beispielen demonstriert.
===COVID-19=======
Due to COVID-19, this course will be taught online (distance learning) during 2021WS. The online version of the course will be as follows:
The first Zoom meeting will be held on October 22 at 10:15. In the first Zoom meeting, we will discuss the organizational details of the lecture.
The Zoom link for the first meeting is:
https://tuwien.zoom.us/j/93954602754?pwd=TlViZnkzRW56ZHNaaWU3RnQ1THNkUT09
In order to receive updates (like news regarding videos, or the links to Zoom meetings), you should register for the course on TISS.
If you have questions, please contact Mantas Simkus by email (simkus@dbai.tuwien.ac.at).
===============
ECTS breakdown: 3 ECTS = 75 Hours
1h Kick-Off Meeting
24h Lectures
10h Homeworks
38h Preparation for Exam
2h Written Exam
Die Überprüfung des Erreichens der definierten Lernergebnisse erfolgt durch eine schriftliche Abschlussprüfung (ONLINE), auf welcher auch die Beurteilung basiert.