Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

Achtung!

Beginnend mit dem Studienjahr 2024/25 wird die LVA im Sommer- statt im Wintersemester angeboten.
Die LVA findet daher im WS 2024 nicht statt, dafür aber im Sommersemester 2025.

... 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!

Achtung! Beginnend mit dem Studienjahr 2024/25 wird die LVA im Sommer- statt im Wintersemester angeboten.
Die LVA findet daher im WS 2024 nicht statt, dafür aber im Sommersemester 2025.

The course will cover various query languages for expressing complex queries over data. In particular, the course will present Datalog and its extensions.

• Datalog with disjunction, negation, existential quantification
• Answer Set Semantics, well-founded semantics
• external theories in the form of Description Logic ontologies

Sämtlichen Konzepte und Inhalte werden im Rahmen der Vorlesung präsentiert und an Hand von Beispielen demonstriert.

Achtung! Beginnend mit dem Studienjahr 2024/25 wird die LVA im Sommer- statt im Wintersemester angeboten.
Die LVA findet daher im WS 2024 nicht statt, dafür aber im Sommersemester 2025.

===============

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam

Achtung! Beginnend mit dem Studienjahr 2024/25 wird die LVA im Sommer- statt im Wintersemester angeboten.
Die LVA findet daher im WS 2024 nicht statt, dafür aber im Sommersemester 2025.

Die Überprüfung des Erreichens der definierten Lernergebnisse erfolgt durch eine schriftliche Abschlussprüfun, auf welcher auch die Beurteilung basiert.