Dozent:
PD Dr. rer.nat. Özgür Lütfü Özcep

Beschreibung der Vorlesung: 

• Bei der Vorlesung Informationssysteme (Modul CS4130) handelt es sich um ein Master-Basismodul
• Die Vorlesung wird auf Englisch gehalten.
• In den Übungen werden die Inhalte der Vorlesung anhand von wöchentlich zu lösenden Übungsaufgaben vertieft.

Inhalt (PDFs im Wesentlichen vom SoSe 2020): 

• Logic, Logic, Logic (Lecture 1, Lecture 2)
  Motivation; overview of course; on the unusual effectiveness of logic in computer science/information systems; FOL logic and its fragments, properties, complexity theory    
• Logical Foundations of Database Systems: Finite Model Theory Lecture 3, Lecture 4)
  Locality; games; descriptive complexity; algorithmic model theory   
• Information Integration on DB Level: Data Integration (Lecture 5)
  Integration modes, LAV, GAV, certain answering, view rewriting, bucket algorithm
• Information Integration on DB Level: Data Exchange  (Lecture 6, Lecture7)
  Target constraints, chase algorithm; universal solution; cores; complexity results; mapping management; non-relational data exchange
• Semantic Integration with OBDA: Bridging the DB and Ontology World (Lecture 8, Lecture 9)
  Handling incompleteness (NULL values); closed world, open world; certain answers; ontologies;   ABDEO: limits of DL-Lite, concrete datatypes; existential rules;  extended forms of ontology-based data access: ABox modularization   
• Semantic Integration on Ontology Level: Ontology Integration (Lecture 10, Lecture 11)
  Belief revision; ontology change; ontology debugging; ontology import; inconsistency handling;alignment, mapping change
• Database Repairs (lecture 12)
  Sub-/superset, symmetric difference, C-, prioritized, null-based repairs; consistent query answering; dichotomy theorems, constraint satisfaction; prototypes
• Stream Processing (Lecture 13, not in this year)
  Low-level and relational data stream processing (for relational data streams and sensor networks, complex event processing; XML streams); high-level ontology based data access to streams

Zielgruppe: siehe Modulbeschreibung

Umfang: 
2 SWS Vorlesung
2 SWS Übung

Zeit und Ort:

Vorlesung: Online asynchron in Moodle
Übung: Online synchron: Donnerstags 12.15-14.45 Uhr über Big Blue Button (BBB) in Moodle

               

Beginn:
Vorlesung: Erste Sitzung online synchron im Übungsslot am 8.4.2021
Übung:      8.4.2021  (BBB)

Modus:

Vorlesung: Die Vorlesung wird asynchron online angeboten. Der ursprüngliche Vorlesungsslot Do 12-14 wird für die Übungen genutzt. Vorlesungsmaterialien (Folien und Videos) werden online im Moodle zur Verfügung gestellt. Fragen zur Vorlesung können in der Übungsgruppe beantwortet werden.

Übungen: Übungen werden als Big-Blue-Button-Aktivität in Moodle durchgeführt

Alle weiteren Informationen zur Veanstaltung sowie Unterlagen zur Vorlesung und den Übungen werden auf der Moodle-Seite dieser Veranstaltung zur Verfügung gestellt.

Im Moodle können Sie sich ab sofort für den Kurs einschreiben.