Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
  • de
 

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

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

Beschreibung

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.

Literatur

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.

 

protege.stanford.edu

Lern- und Lehrformen

Seminar (10 students)

Leistungserfassung

Evaluation

     

  • 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.

Termine

Mi 13:30 - 15 Uhr

From October 18th

Allgemeine Information

  • Semesterwochenstunden : 2
  • ECTS : 3
  • Benotet : Ja
  • Einschreibefrist : 04.11.2006
  • Programm : IT-Systems Engineering BA
  • Lehrform :
  • Belegungsart : Wahl

Zurück