Grundlagen von Ontologien und Datenbanken für Informationssysteme (CS5130)


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

Beschreibung der Vorlesung: 

  • Bei der Vorlesung Foundations of Ontologies and Databases for Information Systems/Grundlagen von Ontologien und Datenbanken für Informationssysteme (Modul CS5130/CS5130T) handelt es sich um eine vertiefende Vorlesung, die bei Wahl als Teilmodul zum übergeordneten Modul Web and Data Science (CS4513) gehört.
  • Die Vorlesung wird auf Englisch gehalten.
  • In den Übungen werden die Inhalte der Vorlesung anhand von wöchentlich zu lösenden und abzugebenden Übungsaufgaben vertieft.


Inhalt: 

  • Logic, Logic, Logic (Lecture 1Lecture 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 3Lecture 4)
    Locality; games; descriptive complexity; algorithmic model theory   
  • Semantic Integration on DB Level: Data Exchange (Lecture 5, Lecture 6)
    Data exchange; schema-mappings; certain answers; RDF
  • Semantic Integration with OBDABridging the DB and Ontology World (Lecture 7, Lecture 8)
    Handling incompleteness (NULL values); closed world, open world; certain answers; ontologies; ontology-Based Data Integration (LAV, GAV, separability, federation, modules); classical OBDA (description logics, DL-Lite, rewriting, mappings, unfolding);   ABDEO: limits of DL-Lite, concrete datatypes; existential rules;  extended forms of ontology-based data access: ABox modularization   
  • Semantic Integration on Ontology LevelOntology Integration (Lecture 9, Lecture 10)
    Belief revision; ontology change; ontology debugging; ontology import; inconsistency handling;alignment, mapping change
  • Stream Processing (Lecture 11)
    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
  • Query Reformulation (Lecture 12)
    Reformulation of queries w.r.t. views; Craig lemma; accessibility

Zielgruppe:

als CS5130:

  • Master MML (Wahlpflicht), Informatik, Beliebiges Fachsemester
  • Master Medieninformatik SJ14 (Wahlpflicht), Informatik, Beliebiges Fachsemester
  • Master Medizinische Informatik SJ14 (Wahlpflicht), eHealth / Informatik, 1. oder 2. Fachsemester

als CS5130T:

  • Master MML (Modulteil eines Wahlmoduls), Informatik, Beliebiges Fachsemester
  • Master Entrepreneurship in digitalen Technologien SJ14 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
  • Master Informatik SJ14 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester

 

Umfang: 
2 SWS Vorlesung
1 SWS Übung

Zeit und Ort:

Vorlesung: Mittwochs 16:00 - 17:30 Uhr  in Gebäude 64, EG, Raum 67 (Seminarraum Informatik 4 (Minsky))
Übung:      Mittwochs 17:45 - 18:30 Uhr  in Gebäude 64, EG, Raum 67 (Seminarraum Informatik 4 (Minsky)), Übungsleiter: Simon Schiff 

               

Beginn:
Vorlesung: 17.10.2018
Übung:      24.10.2018

Unterlagen zur Vorlesung und den Übungen werden auch auf der Moodle-Seite dieser Veranstaltung zur Verfügung gestellt.

Die Selbsteinschreibung zu dieser Veranstaltung ist in Moodle freigeschaltet.