- Participation on the 1st lecture on 19.10.2017 is mandatory
- Registration: send an email titled "Registration for KRSW" to email@example.com by 23.10.207 with the following details:
- Name, surname
- Matriculation number
- Related courses taken
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.
The basic knowledge of first order logic is highly recommended.
|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|
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.
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
- Protege: http://protege.stanford.edu/
- DLV: http://www.dlvsystem.com/
- Potassco: http://potassco.sourceforge.net/
- 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)
Must-read resources are marked with a star.
- [1*] Sebastian Rudolph: Foundations of Description Logics. Reasoning Web 2011, LNCS 6848, pp. 76-136, 2011. Springer
-  Description Logic handbook
-  Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Chapter 5 and Chapter 8. In Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009
-  Grigoris Antoniou and Frank van Harmelen. A Semantic Web Primer. MIT Press, 2004. ISBN 0-262-01210-3
Answer Set Programming