Seminar Beschreibungslogik

Veranstalter: Prof. Carsten Lutz, Meghyn Bienvenu

S2, Modulbereich Theorie

Vorbesprechung: Mittwoch, 8.4., 13:00-15:00 MZH 3150

Ohne Teilnahme an der Vorbesprechung kann das Seminar nicht belegt werden. Wer Interesse an dem Seminar hat, aber nicht zur Vorbesprechung kommen kann, meldet sich bitte bis 7.4.09 per email.

Das Seminar findet in englischer Sprache statt.


Kurzbeschreibung

Beschreibungslogiken sind eine wichtige Familie von Ontologiesprachen, die in zahlreichen Anwendungen Einsatz finden. Ziel des Seminars ist, ausgewählte Themen der Beschreibungslogik anhand von Originalliteratur kennenzulernen. Das Seminar baut auf der Vorlesung "Beschreibungslogik und Ontologiesprachen" aus dem WS08/09 auf und behandelt Themen, die in der Vorlesung nicht oder nur sehr kurz besprochen wurden wie z.B. Beschreibungslogiken, die über "eingebaute Datentypen" (Zahlen, Strings, etc) verfügen und Beschreibungslogiken, mit denen Schlussfolgern in polynomieller Zeit möglich ist.


Voraussetzungen / Vorkenntnisse

Teilnehmer des Seminars sollten die Vorlesung "Beschreibungslogik und Ontologiesprachen" im WS 08/09 besucht oder gute Vorkenntnisse in formaler Logik (insbesondere der Logik erster Stufe) haben.


Organisation

Die Teilnehmer wählen während der Vorbesprechung ein Thema, dass sie (entweder allein oder in einer 2er Gruppe) bearbeiten. Zu jedem Thema gibt es einen oder mehrere (englische) Aufsätze, die von den bearbeitenden Teilnehmern zunächst gelesen und verstanden werden sollen, wobei ihnen ein Betreuer zur Seite steht. Jede Gruppe fertigt eine ca. 15-seitige, lesbare Ausarbeitung an, deren Form den Standards wissenschaftlichen Arbeitens genügt. Am Ende des Semesters stellt jede Gruppe ihr Thema in einem Vortrag den anderen Teilnehmern in verständlicher Weise dar. Die Vorträge werden in Form eines Blockseminares gehalten. Die Zeitplanung, Vereinbarung von Terminen und das Stellen von Fragen an den Betreuer gehört zu den Aufgaben der Teilnehmer.


AG Theorie der künstlichen Intelligenz