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, 4th floor, Rotunda room, in January Tuesdays-Thursday in small groups (every student should participate in three 1-hour tutorials)

Lecturer:  Daria Stepanova (office hours: Thursday, 16:00 - 18:00, apart from 04.01.2018)

Teaching Assistant: Mohamed Gad-Elrab (office hours: Monday, 14:00 - 16:00, and 04.01.2018, 15:00 - 17:00)

If you intend to come during the office hours, please write an email first.

News

Final exam:

Date: 1.02.2018

Time: 14:00 - 16:00 

Location: E1 3, 014

Re-exam:

Date: 15.03.2018

Time: 14:00 - 16:00

Location: E1 3, 014

 

Registration for discussing assignment 1&2:

Please follow the link below to select a timeslot for discussing assignments

https://doodle.com/poll/czn6zsxtgxwebsdd

Registration deadline is 14.01.2018, 23:55.

 

Submission of assignments 1&2:

The submission of assignment 1&2 should be done by 11.01.2018 as follows:

1. send your solutions by email to gadelrab@mpi-inf.mpg.de and dstepano@mpi-inf.mpg.de

2. checkmark the exercises that you have solved by filling in the questionnaire:

https://goo.gl/forms/xZbVoAGoC5dGWDVw2

Course 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      
(organization, content overview)      
Oct 26 no lecture      
Nov 2 no lecture      
Nov 9 Description Logics I      
(motivation and syntax)      
Nov 16 Description Logics II Assignment 1    
(semantics, DL nomenclature, equivalences)      
Nov 23 Description Logics III Project 1    
(modeling, DLs and OWL)      
Nov 30 Description Logics IV      
(reasoning problems, algorithmic approaches)      
Dec 7 Answer Set Programming I Assignment 2    
(motivation, Horn logic programming, answer set semantics)      
Dec 14 Answer Set Programming IIProject 2facts.dl  
(extended logic programs, guess and check methodology, programming techniques)      
Dec 21 Answer Set Programming IIIdlv examples    
Dec. 28 no lecture      
Jan 04 no lecture      
Jan 11 23:55 Hybrid ASP and Rule Learning Deadline for Assignment 1 & 2 checkmarks    
Jan 12 14:00-Jan 14 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 14:00-Jan 20 23:55 Registration for Project 1 discussion slot      
Jan 23 Project 1 discussion      
Jan 25 Project 1 discussion      
Jan 26 23:55 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)