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.
Inhalt:
- 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 - Semantic Integration on DB Level: Data Exchange (lecture 5, lecture 6)
Data exchange; schema-mappings; certain answers; RDF - Semantic Integration with OBDA: Bridging 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 Level: Ontology Integration (lecture 9, lecture 10)
Belief revision; ontology change; ontology debugging; ontology import; inconsistency handling;alignment, mapping change - Stream Processing (lecture 11, lecture 12)
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 (weak ontology stream processing: SPARQLStream, C-SPARQL, CQEL; complex event processing; ontology stream processing: STARQL; context-aware systems) - Query Reformulation (lecture 13)
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-18.30 (mit Pausen) in Gebäude 64, EG, Raum 67 (Seminarraum Informatik 4 (Minsky))
Übung: integriert in die Vorlesung (keine zusätzliche Übung donnerstags)
Beginn:
Vorlesung: 19.10.2016
Übung: 19.10.2016
Unterlagen zur Vorlesung und Übung im Moodle