Logics for the WebFDA159, 2003HT
|
|
Course plan
14 h lectures, 10 h seminars
Recommended for
All graduate students
The course was last given
New course
Goals
In the emerging Semantic Web (see http://www.semanticweb.org/introduction.html) logic plays an important role. Different logics are proposed for different purposes. The goal of the course is to survey this vision, to give an introduction to the relevant logical formalisms and to discuss the ongoing research.
Prerequisites
Basic knowledge in first-order logic.
Organization
The course will consist of lectures by the teachers and student presentations (seminars) of the relevant journal/conference articles.
Contents
Lectures (tentative)
A vision of the Semantic Web and the role of logics therein (2h)
Description Logics: (6h)
- Representing knowledge in DL
- Reasoning services and algorithms;
- Completeness, correctness and complexity;
- Description logics and ontologies (DAML+OIL, OWL)
- Relations between DL and other KR formalisms.
Horn Logic and beyond (6h)
- Representing knowledge in Horn clauses,
- Reasoning techniques
- Rules on the web: is Horn logic sufficient?
- Frame-logic
Seminars
Survey of existing tools and projects, proposed extensions, relations between
the formalisms, etc.
Links to the papers will be announced at the course page in September 2003.
Literature
A collection of papers, available on the web.
The links will be placed at the course home page in September 2003.
Lecturers
Patrick Lambrix, Jan Maluszynski
Examiner
Patrick Lambrix, Jan Maluszynski
Examination
One obligatory presentation, including preparation of slides (in a group of two
students per paper).
Individual solution of one batch of the homework exercises.
Participation in the final discussion.
Credit
3 p.
Comments
Page responsible: Director of Graduate Studies