Subject matter

The Semantic Web is envisioned as the next generation of the Web which allows for automatic retrieval and combination of information on a world-wide scale. The backbone of the Semantic Web consists of Ontologies, which are consensual specifications of knowledge in a particular domain. In this course you will learn about representation mechanisms for data, meta-data and Ontologies on the Semantic Web.
Furthermore, you will learn about different reasoning techniques which can be used for retrieving, filtering and combining information on the Web. You will learn about RDF, OWL and SWRL as representation mechanisms, and you will learn about reasoning with Description Logics, Logic Programming, and First-Order Logic for the Semantic Web.

News

Second exam: September 30, 2005. 4:00 - 5:30 pm, HS 10

Please find final grades and exam results here .

Please find trial exam here.

Please find the solution here.

During the exam the students will receive a sheet with the following information:
- - The correspondence between OWL abstract syntax and Description Logics
- - The correspondence between Description Logics and First-Order Logic
- - Rewrite rules for rewriting a DL formula to Negation Normal Form
- - Transformation rules for Tableaux

Grades

Please find lecture outline here!

Tutorials

Starting March 10

Group 1: Thu, 3pm - 5pm, RR1
Group 2: Thu, 5pm - 7pm, RR1

Lecture and Exercises

Programme		Material
Mo 07.03. 14.00 - 17.00	Overview and RDF basics	pdf	4up	Exercises Solutions
Mo 14.03. 14.00 - 17.00	Advanced RDF and RDF Schema	pdf	4up	Exercises Solutions
Mo 04.04. 14.00 - 17.00	RDF Applications	pdf		Exercises Solutions
Mo 11.04. 14.00 - 17.00	Logic Programming for the Semantic Web I	pdf	4up	Exercises Solutions
Mo 18.04. 14.00 - 17.00	Logic Programming for the Semantic Web II	slides		Exercises Solutions
Mo 25.04. 14.00 - 17.00	CANCELLED
Mo 02.05. 14.00 - 17.00	Description Logics for the SW	pdf	4up
Mo 09.05. 14.00 - 17.00	Description Logic Reasoning	pdf	4up	Exercises Solutions
Mo 23.05. 14.00 - 17.00
cancelled
Mo 30.05. 14.00 - 17.00	First-Order Logic for the SW Languages	pdf	4up
Mo 06.06. 14.00 - 17.00	Relationship Between SW Languages	pdf	4up	Exercises Solutions
Mo 13.06. 14.00 - 17.00	Semantic Web: The Big Picture	pdf	4up
Mo 20.06. 14.00 - 17.00	Semantic Web Applications and Exam Preparation
Mo 27.06. 14.00 - 17.00	Review and Exam Preparation

Final Exam

June 27th (14:00 - 17:00; HS10)

Click here to register for the exam.

During the exam the students will receive a sheet with the following information:
- - The correspondence between OWL abstract syntax and Description Logics
- - The correspondence between Description Logics and First-Order Logic
- - Rewrite rules for rewriting a DL formula to Negation Normal Form
- - Transformation rules for Tableaux

Alternative exams:

1. September 30, 2005 (16:00 - 18:00; HS10)

2. January 12, 2006 (10:00 - 12:00; HS10)

Final mark

There is a written exam on the lecture content at the end of the semester. We offer exams at three different dates for students to choose. Students are not required to attend the lecture, but they must show up in the exam.

Lecturer

Jos de Bruijn
jos.debruijn@deri.org

Time

Mondays, 2pm - 5pm
HS 10