Knowledge Representation for the Semantic Web

Advanced lecture, 6 ECTS credits, winter semester 2017/2018

Organization

Type: advanced lecture, 6 ECTS

Lectures: E1 3, 0.14, Thursday, 14:00 - 16:00

Tutorials: E1 4, Rotunda room, in January Tuesdays-Thursday in small groups (every student should participate in three 1-hour tutorials)

Lecturer:  Daria Stepanova

Teaching Assistant: Mohamed Gad-Elrab

Registration

  • Participation on the 1st lecture on 19.10.2017 is mandatory
  • Registration: send an email titled "Registration for KRSW" to dstepano@mpi-inf.mpg.de by 23.10.207 with the following details:
    • Name, surname
    • Matriculation number
    • Semester
    • Related courses taken

Course description

Semantic Web is a maturing field of technology that continues to be the emphasis of much focused research and industrial investigation. Its central idea is to add meaning (semantics) to the data on the Web thus making it machine processable. In this course we cover the standardized knowledge representation languages for enriching the data with meaning. More specifically, on the theoretical side we will study the syntax and semantics of the main ontology and rule-based languages. On the practical side we will exploit the available tools for the knowledge representation and reasoning.

Prerequisites

The basic knowledge of first order logic is highly recommended.

Course Schedule

Date Lecture    
Oct 19 Introduction    
Oct 26 no lecture    
Nov 2 no lecture    
Nov 9 Description Logics I    
Nov 16 Description Logics II Assignment 1  
Nov 23 Description Logics III Project 1 is handed out  
Nov 30 Answer Set Programming I    
Dec 7 Answer Set Programming II Assignment 2 is handed out  
Dec 14 Answer Set Programming III Project 2 is handed out  
Dec 21 Combining DLs and ASP and other advanced topics    
Dec. 28 no lecture    
Jan 04 no lecture    
Jan 11 Rule learning Deadline for Assignment 1 & 2 checkmarks  
Jan 12 to Jan 15 23:55 Registration for Assignment 1 & 2 solution discussion    
Jan 16 Assignment 1 & 2 solution discussion    
Jan 18 Assignment 1 & 2 solution discussion    
Jan 17 23:55 Deadline for submitting Project 1    
Jan 18 to Jan 21 23:55 Registration for Project 1 discussion slot    
Jan 23 Project 1 discussion    
Jan 25 Project 1 discussion    
Jan 26 Deadline for submitting Project 2    
Jan 30 Project 2 solution discussion and general QA session    
Feb 01 Final exam    

Examination Modalities

Exercises:

2 exercise sheets will be handed out. The exercises should be solved at home. Students can check the examples they solved; checkmarks may be changed arbitrarily until the deadline. Afterwards there will be a discussion of the solutions in small groups. To this end, 1 hour slots will be offered (3 students simultanously). The week days for the slots are Tuesday and Thursday. 

Both checkmarking the exercises and registering for a discussion slot should be done until Jan 15 2018, 23:55 (strict deadline).

In the discussion, students will be asked questions about their solutions of examples they checked. The discussion will be evaluated with 0-10 points, which are weighted with the fraction of checked examples and rounded to the next integer.

Example: Student X checked 70% of the examples and the discussion is evaluated with 8 points. Therefore he gets 6 exercise points.

In case a student does not participate in the discussion, no exercise points will be awarded.

 

Projects:

In addition to the 2 exercise sheets, 2 projects must be solved using ontologies (Project 1) and answer set programming (Project 2):

  • Project 1 will be manually graded with mandatory discussion timeslot in small groups
  • Project 2 will be automatically graded with testcases. The discussion of Project 2 solutions will be arranged jointly with the final consultation, which students should attend in case they have any questions

Project submission deadlines:

  • Project 1: Jan 17 2018, 23:55
  • Project 2: Jan 26 2018, 23:55

Used tools:

 

Grading:

  • Exercises are totalling 10 points
  • Projects are totalling 20 points
  • Final exam 70 points

Final mark computation:

  • >= 88 pts: 1 (excellent)
  • >= 75 pts: 2 (good)
  • >= 63 pts: 3 (satisfactory)
  • >= 51 pts: 4 (sufficient)
  • < 51 pts: 5 (not sufficient)