*Description Logic*.

*Prerequisites:*Knowing the basic material of the lecture

*Description Logic*would be helpful.

Chair of Automata Theory

Institute of Theoretical Computer Science

Faculty of Computer Science

Technische Universität Dresden

Institute of Theoretical Computer Science

Faculty of Computer Science

Technische Universität Dresden

Description logics (DLs) are a family of logic-based knowledge
representation formalisms. The seminar is about extensions of
description logics (such as temporalised DLs, fuzzy DLs, DLs with
defaults, …) that have not been captured in the lecture
*Description Logic*.

*Prerequisites:*
Knowing the basic material of the lecture *Description Logic* would be helpful.

There is an *initial meeting* on *17 October 2016* at
*14:50* in room *APB/3027*. There, topics are assigned
to interested students and further organisational matters are
covered.

The students taking the seminar should get acquainted with their respective topic, write a*report (c. 15 pages)* about it,
and give a *presentation (of 30 minutes)* at the end of the
semester.
They receive indiviual supervision by
a tutor.

The topics have so far been assigned as follows:

The students are expected to stick to the following schedule.

The students taking the seminar should get acquainted with their respective topic, write a

The topics have so far been assigned as follows:

Student |
Topic |
Supervisor |

K. Salama | Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro:
A new semantics for overriding in description logics |
Anni-Yasmin Turhan |

The students are expected to stick to the following schedule.

*2rd week of October:*mandatory meeting with the tutor*21 December:*first complete version of the report due*16 Janurary:*first complete version of the presentation slides due*30th January:*give the presentation and participate in the discussion

This course can be used in the following

- Master-Studiengang (Medien-)Informatik:
*INF-AQUA*(Allgemeine Qualifikationen) - Diplom-Studiengang Informatik:
*INF-D-940*(Berufsspezifische Schlüsselkompetenzen) - Master in Computational Logic:
*MCL-PCS*(Presentation and Communication Skills),*MCL-TCSL*(Theoretical Computer Science and Logic),*MCL-PI*(Principles of Inference) - Diplom-Studiengang Informatik (Studienordnung 2004):
*Hauptseminar*

Will be provided.