Seminar Beschreibungslogik

Veranstalter: Prof. Carsten Lutz

S2, Modulbereich Theorie

Vorbesprechung: Freitag, 29.10., 12:00-14: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 28.10.2010 per email.

Hinweis: bei dieser Veranstaltung handelt es sich NICHT um die VORLESUNG MB-605.01 "Beschreibungslogik", für die Masterprofile KIKR und DMI, sondern um ein darauf aufbauendes Seminar. Die VL selbst wird erst im nächsten Semester wieder angeboten.

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 SS10 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 müssen die Vorlesung "Beschreibungslogik und Ontologiesprachen" im SS10 besucht haben.

Organisation

Die Teilnehmer wählen während der Vorbesprechung ein Thema, dass sie in einer 2er Gruppe bearbeiten. Zu jedem Thema gibt es einen oder mehrere (englischsprachige) 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 findet ein Blockseminar statt, in dem jede Gruppe ihr Thema in einem Vortrag den anderen Teilnehmern in verständlicher Weise darstellt. Die Zeitplanung und das Vereinbaren von Terminen mit dem Betreuer gehört zu den Aufgaben der Teilnehmer.

AG Theorie der künstlichen Intelligenz