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
Exam discussion:
Date: 8.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
Final exam:
Date: 1.02.2018
Time: 14:00 - 16:00
Location: E1 3, 014
Project 2 solution discussion and the general QA session
Date: 30.01.2018
Time: 14:00 - 16:00
Location:MPII building E1.4 4th floor, Room 433
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:
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 (updated on 31.02.2018) | |||
(reasoning problems, algorithmic approaches) | ||||
Dec 7 | Answer Set Programming I | Assignment 2 | ||
(motivation, Horn logic programming, answer set semantics) | ||||
Dec 14 | Answer Set Programming II | Project 2 | facts.dl | |
(extended logic programs, guess and check methodology, programming techniques) | ||||
Dec 21 | Answer Set Programming III | dlv 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 | |||
Feb 08 | Exam discussion | |||
Mar 15 | Re-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:
- Protege: http://protege.stanford.edu/
- DLV: http://www.dlvsystem.com/
- Potassco: http://potassco.org
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)
References
Must-read resources are marked with a star.
Description Logics
- [1*] Sebastian Rudolph: Foundations of Description Logics. Reasoning Web 2011, LNCS 6848, pp. 76-136, 2011. Springer
- [2] Description Logic handbook
- [3] Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Chapter 5 and Chapter 8. In Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009
- [4] Grigoris Antoniou and Frank van Harmelen. A Semantic Web Primer. MIT Press, 2004. ISBN 0-262-01210-3
Answer Set Programming
- [6*] Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. Answer Set Programming: A Primer. Reasoning Web 2009, LNCS 5689, pp. 40-110, 2009. Springer
- [7] Knowledge Representation, Reasoning and Declarative Problem Solving with Answer Sets
- [8] ASP in Practice
Tutorials