Frametheorie
SoSe2012

Organisatorisches

Dozentin: Wiebke Petersen
Sitzungen: Mi. 14.30-16 Uhr in Raum 23.21.02.54
Sprechstunde: Mi. 16:30-17:30 in Raum 23.21.04.45
Telefon: 81-15295


geschützter Bereich

Literaturempfehlung

Teile der Literatur sind nur im geschützten Bereich zu finden.

Sitzungen

Datum Thema Literatur
04.04.2012 Vorbesprechung
11.04.2012 Handout 1 Petersen (2007)
Löbner (Slides)
18.04.2012 Grundlagen Petersen (2007)
Löbner (Slides)
02.05.2012 Präsentation Übungsaufgabe
09.05.2012 Merkmalstrukturen
16.05.2012 Feature Logic - Carpenter Kapitel 1 Basics (bis S.50)
- Kapitel 6. Appr.+Typing (S. 77-108) lesen, drucken & mitbringen
- Auszug Habil lesen (Kapitel 2.2)
23.05.2012 Unifikation, abstrakte und konkrete Merkmalstrukturen
30.05.2012 Wohlgetyptheit
06.06.2012 Übungen zu Merkmastrukturen; Framegraphen Hausaufgabe (Abgabe am 20.6., Gruppenarbeit erlaubt)
13.06.2012 - Logikskript von Löbner (Besonders wichtig: Kapitel 1-5, 9-12)
- Logikskript der Logiktutoren (als Vorbereitung für Description Logic)
20.06.2012 Grundlagen Description Logic
- Link zu den Folien
- Übungszettel abgeben!
- Zur Vorbereitung der kommenden Sitzung lesen Sie bitte:
- A Description Logic Primer
- Foundations of Description Logics
27.06.2012 Sebastian Rudolph zu Despcription Logic ACHTUNG! Einmalig Abweichender Raum: 23.21.02.26
04.07.2012 Conceptual Graphs und Framesemantik
- Folien zu Conceptual Graphs (Patricia Naumann)
- Folien zur Framesemantik (Thobias Quaß
Musterlösung zur Hausaufgabe (Marie-Luise Fischer, Teile von Oliver Hanraths)
11.07.2012
Compositionale Nominalisierung;
Tanja Osswald und Daniel Schulzek