Vorlesung Grundlagen des Semantic Web
Sebastian Wandelt
Überblick
The Semantic Web promotes common formats for data on the World Wide Web,such that meaning of data is made explicit, allowing machines to process and integrate Web resources intelligently. Beyond enabling web search, this technology may also allow the development of intelligent internet agents and facilitate communication between a multitude of heterogeneous web-accessible devices.
In this course, we will investigate the fundamental parts of the Semantic Web. Topics of this class are the design of various Semantic Web languages (such as RDF and OWL), the role of ontology development, and techniques for scalable reasoning. Additional focus is put on integrating heterogeneous data sources, web-based agents, and issues in developing semantic-aware applications.
Der Halbkurs wird von einer Übung begleitet.
Voraussetzungen
Voraussetzung für den Besuch sind gute Kenntnisse und Interesse an Logik und Programmierung.
Prüfungen und Anrechenbarkeit
Je nach Teilnehmerzahl sind Prüfungen mündlich oder schriftlich. Voraussetzung für die Prüfung ist das Bestehen der Übung. Die Prüfungsform wird in der ersten Semesterwoche bekannt gegeben.
Das Modul ist anrechenbar für
- Master Informatik, 5 SP
- Master Wirtschaftsinformatik, 5 SP
Literatur
- Franz Baader et. al.: The description logic handbook
- Hitzler et. al.: Foundations of Semantic Web Technologies
Themen und Folien
(Folien sind hier jeweils vor der Vorlesung als PDF verfügbar. Änderungen möglich).
- 22.10.2012: Introduction, Repetition of Propositional Logic
- 29.10.2012: Repetition of First-order-Logic, XML
- 05.11.2012: RDF and RDF Schema
- 12.11.2012: Managing RDF data and SPARQL
- 19.11.2012: OWL: syntax, intuition, formal semantics, and description logics
- 26.11.2012: OWL/DL continued, Tableaux algorithms
- 03.12.2012: OWL and lightweight description logics
- 10.12.2012: The inference system Racer
- 17.12.2012: ***Christmas Quiz: review of the lecture so far***
- 07.01.2013: OWL 2 - scalability and lightweight description logics/rule languages
- 14.01.2013: Ontology engineering and design patterns
- 21.01.2013: Complex Query answering
- 28.01.2013: Upper Layers in the Semantic Web Stack and Semantic Web success stories and the Future
- 04.02.2013: Summary of the lecture - prepartion for the exam
- 11.02.2013: Oral examinations?
Weitere Materialien und Literatur
tbd.