Course Description

Lecturers:

Prof. Schroeder, Dr. Paschke, Prof. Thielscher, Mr. Voigt

Prerequisites:

none

The course meets the demand for practice-oriented subjects in the curriculum. By means of selected examples it will give an insight to various issues of how logic can be used in real world applications. The course breaks down into two parts:

1. Students will be introduced to the design and use of various deduction systems: Prolog, Tableaux-Prover and Answer Set Programming.
2. Students will learn how link rules and reasoning with the web, databases, and distributed computing. Students will be introduced to the ideas underlying the semantic web including formats such as ontologies, XML, RDF, OWL. All techniques will be motivated with examples from bioinformatics, which provides a rich set of online data sources and problems amenable to semantic web technologies.

Time Table (only concerning Part I - Deduction Systems)

• Lecture
  • Wednesdays 4.DS (E 005) - every fortnight, fixed dates: 8 April, 24 April (friday) 2.DS, 6 May, 20 May, 10 June, 24 June, 8 July
• Tutorial
  • Fridays 2.DS (E 005) - every fortnight, fixed dates: 17 April, 15 May, 29 May, 19 June, 3 July, 10 July 2.DS (9.20 - 10.50)

Consultations

During the Open House or by appointment.

Details about the Examination

• written exam on 28th of July from 3.00 to 5.00 pm in room INF E005
• concerning Part I (Prof. Thielscher): except electronic equipment all materials can be used during the examination

Handouts and Slides

• Prolog (I)
• Prolog (II)
• Prolog (III)
• Tableaux Prover
• Answer Set Programming

Exercises

• Exercise 1 (Fri, 17 Apr 2009)
• Exercise 2 (Fri, 15 May 2009)
• Exercise 3 (Fri, 29 May 2009)
• • Tableau Prover
• Exercise 4 (Fri, 19 June 2009)
• • Constraint Handling Rules for ALC Reasoning
• Exercise 5 (Fri, 3 July 2009)
• • Answer Set Solver Clingo
  • File for Exercise 5.3
• Exercise 6 (Fri, 10 Luly 2009)

• References:

  • Semantic Web Primer (Cooperative Information Systems), Grigoris Antoniou and Frank Van Harmelen. 2004, MIT Press
  • Warren's Abstract Machine by Hassan AÏt-Kaci