Lecture: Foundations of Semantic Web Technologies

Content

The term Semantic Web describes an extension of the World Wide Web through meta data and applications with the goal of making the meaning (semantics) of data in the web accessible for intelligent systems e.g. in e-commerce and in internet portals. A central role plays the representation and distribution of knowledge in the form of ontologies. This lecture covers the foundation of knowledge representation and processing and the corresponding technologies and introduces applications thereof. The following topics are covered:

  • RDF (Resource Description Framework) and RDF Schema for the representation of meta data and simple ontologies
  • The Web Ontology Language (OWL) and its extension OWL 2
  • The SPARQL query language
  • Rule-based calculi for automated reasoning in the Semantic Web
  • Aspects of ontology engineering and editing

Organizational

Dates: Thursday & Friday, 10:15 – 11:45

Place: Room 2203, building O27

Exercise: Approx. every second week, exact dates in Moodle

Lecture Material

All relevant lecture materials are available in the eLearning system Moodle. Handouts can be printed via the script printing system of the SGI.

Literature and References

The university library has created a collection (Semesterapparat) for the lecture.

Books

General literature about the Semantic Web:

  • Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. Foundations of Semantic Web Technologies. CRC Press 2009. (ISBN 978-1-4200-9050-5)
  • Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure. Semantic Web - Grundlagen. Springer 2008. (ISBN 978-3-540-33993-9)
  • Steffen Staab, Rudi Studer (Editors).Handbook on Ontologies.Springer 2003 (ISBN 3540408347).
  • Tim Berners-Lee. Weaving the Web. Harper 1999 geb./2000 Taschenbuch. (ISBN 978-0062515872)
  • Siegfried Handschuh, Steffen Staab. Annotation for the Semantic Web. 2003 (ISBN 158603345X).

Logic and foundations of knowledge representation:

  • Melvin Fitting. First-Order Logic and Automated Theorem Proving. 2nd edition, Springer, 1996 (ISBN 0-387-94593-8)
  • John Sowa. Knowledge Representation. Brooks/Cole 1999
  • Uwe Schöning. Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000 (ISBN 978-3827410054)
  • Steffen Hölldobler. Logik und Logikprogrammierung. 3. Auflage, Synchron Verlag, 2003 (ISBN 978-3935025591)

Online Resources

Technical Part

Type:Lecture for Master Students (3L / 1E)
ECTS:6
Classification:Informatik, MSc., Praktische Informatik (Kernfach/Kernmodul)
Medieninformatik, MSc., Praktische Informatik (Kernfach/Kernmodul)
Informatik, MSc., Intelligente Systeme (Vertiefungsfach/Vertiefungsmodul)
Medieninformatik, MSc., Intelligente Systeme (Vertiefungsfach/Vertiefungsmodul)
Cognitive Systems (Specialisation Subject)
Follow-up Lectures:     Algorithms in Knowledge Representation
Intelligente Handlungsplanung
Multiagentensysteme