Logical Foundations of the Semantic Web (Wintersemester 2006/2007)
Lecturer: Prof. Dr. Christoph Meinel
(Internet-Technologien und -Systeme)
- Weekly Hours: 2
- Credits: 3
- Enrolment Deadline: 04.11.2006
- Teaching Form:
- Enrolment Type: Compulsory Elective Module
- 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.
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