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