192.067 Deductive Databases
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023W, VO, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

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!

Inhalt der Lehrveranstaltung

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

 

Methoden

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

Prüfungsmodus

Schriftlich

Weitere Informationen

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

 

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.13:00 - 15:0006.10.2023 - 19.01.2024Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Deductive Databases - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.06.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases (Kickoff meeting)
Fr.13.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.20.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.03.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.10.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.17.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.24.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.01.12.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.15.12.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.12.01.202413:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fr.19.01.202413:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases

Leistungsnachweis

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

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di.13:00 - 16:0012.03.2024EI 9 Hlawka HS - ETIT schriftlich19.01.2024 00:00 - 10.03.2024 23:55in TISS192.067 Deductive Databases Exam

LVA-Anmeldung

Von Bis Abmeldung bis
13.09.2023 00:05 26.01.2024 23:55 27.01.2024 23:55

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
066 931 Logic and Computation Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch