Hasso-Plattner-InstitutSDG am HPI
Hasso-Plattner-InstitutDSG am HPI

Logical Foundations of the Semantic Web (Wintersemester 2006/2007)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)

Allgemeine Information

  • Semesterwochenstunden: 2
  • ECTS: 3
  • Benotet: Ja
  • Einschreibefrist: 04.11.2006
  • Lehrform:
  • Belegungsart: Wahlpflichtmodul


  • IT-Systems Engineering BA


The Semantic Web aims to provide computer-processable information on the Internet. It extends the Web through the use of standards, markup languages and related processing tools

Languages for the semantic web have been conceived to allow the representation of machine understandable and unambiguous descriptions of web content using domain ontologies. Their logical foundations come from description logics theoretical studies.


In the seminar basic notions of

  • propositional logic and
  • first order logic 

will be addressed before introducing

  • description logics syntax and semantics.


The most important reasoning services will be presented. We also define ontologies and their role in the semantic web and present the three OWL (Web Ontology Language) sublanguages. Practical problems arising when building domain ontologies together with their theoretical explanation will also be addressed.


The students will use Protégé, a free, open-source tool to construct domain ontologies.


Shawn Hedman. A first course in logic : an introduction in model theory, proof theory, computability, complexity. Oxford University Press, 2006


J. Kelly. The Essence of Logic. Prentice Hall, 1997.


The Description Logic Handbook: Theory, Implementation, and Applications.  F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. Cambridge University Press, 2003.


<font color="#222222">protege.stanford.edu</font>

Lern- und Lehrformen

Seminar (10 students)



  • The students have to select a part of the course and prepare a presentation (45min/1hour) about it.
  • At the end of the seminar, a written report is to be realized.


Mi 13:30 - 15 Uhr

From October 18th