Seminar

Technische Universität Dresden Institut für Theoretische Informatik Lehrstuhl für Automatentheorie

Hauptseminar theoretische Informatik: "Notions of Similarity in Logic"

Position in Curriculum

Informatik (both diploma and bachelors degree), starting from 5. semester, Wahlpflichtveranstaltung (-/-/2)
Computational Logic: Modules TCSL and IT, 3 credit points

Prerequisites

Basic knowledge in logic.
For computer scientist students: Pflichtvorlesung Grundlagen der Theoretischen Informatik.

Language

The language of the seminar is English — unless attended by native German speakers, only.

Schedule

The presentations will be held on July 9 and July 16 at 14:50 o'clock (5. DS) in room E005.

Topic of the Hauptseminar

The topic of the Hauptseminar will be "Notions of Similarity in Logic". When making comparisons humans tend to think in terms of similarity rather than equivalence. Numerous approaches exist to introduce the vagueness of similarity into different fields of logic. Among these are

• heuristic similarity measures to compare concepts, individuals or ontologies in description logics
• similarity as a concept constructor
• conservative extensions as a tool for comparing ontologies
• fuzzy logic and certain many-valued logics
• comparing logics with respect to expressivity

Goal of the Hauptseminar

Apart from learning about the main topic, students should learn how to get acquainted with a relevant body of literature, how to produce a well-structured paper, and how to give an understandable scientific talk.

Duties of Participants

The papers (and partner papers) have been distributed according to the following table.

Number	Student	Paper	Tutor	Presentation	Report due	Partner Paper
1	Ario Santoso	Towards Measuring Similarity in DL and SIM-DL	Anni-Yasmin Turhan	July 9	June 7	No. 3
2	David Müller	A fuzzy description logic	Felix Distel	July 9	June 7	No. 1
3	Tran Trung Kien	Did I damage my Ontology?	Anni-Yasmin Turhan	July 16	June 14	No. 4
4	Waheed Ghumman	Making the Difference	Felix Distel	July 16	June 14	No. 2

During the seminar, the student has to understand the relevant literature and writes a paper about the chosen topic (~12 pages). In doing this, he/she receives individual support by the tutor. The produced paper is required to conform to the standards of scientific writing. Finally, each student presents his/her work in a talk to the other participants.

It is also the duty of the participants to reserve enough time for performing the seminar. It is the obligation of the participant to start working in time, and to make appointments with their tutors for regular meetings during the semester. In particular, students must present to their tutors

• a full version of their paper before the deadline (cf. table above) and
• a first version of all the slides for their talk at least 2 weeks before the talk.

Contact

The seminar is coordinated by Felix Distel.