Aspekte der morphologischen Analyse des Deutschen - Universität ...

Kapitel 5: Eine merkmalsbasierte Beschreibung der Morphologie im Deutschen
In Abb. 5.17 sieht man, wie die produced-Rolle durch das referentielle Argument von Messer
gefüllt worden ist. Das Numerus-Merkmal bleibt in der üblichen Weise unterspezifiziert. Die
Substruktur unter TYPE: knife ist noch umfangreicher, wie der nächste Abschnitt zeigt.
5.3.2.3 Interpretation von Komposita mit konzeptueller Relation
Die hier vorgeschlagene Klasse der konzeptuell interpretierten Komposita deckt sich nicht
mit der in Boase-Beier et al. (1984) so genannten Klasse der »Komposita mit Grundrelation«.
Als Grundrelationen werden dort Relationen wie LOC(AL), AUS, UND und ÄHN(LICH)
bezeichnet. Meiner Ansicht nach muß man hier differenzieren: Relationen wie LOC und
AUS hängen mit den durch Lexeme ausgedrückten Konzepten und deren Superkonzepten
zusammen, während UND und ÄHN sich möglicherweise aus dem Interpretationsapparat
selbst ergeben, weil schwer vorstellbar ist, daß unser Weltwissen Informationen darüber
enthält, welche Dinge welchen anderen Dingen ähneln; hier scheinen vielmehr Inferenzprozesse
vorzuliegen.
Die konzeptuell gesteuerte Interpretation von Wiesenverkauf in seiner nicht relationalen Lesart
»Verkauf von etwas auf einer Wiese« ergibt sich meiner Ansicht nach aus folgendem
Mechanismus:
• Verkauf als Ereignisnominalisierung weist event als Konzepttyp auf;
• Mit dem Typ event ist eine Relation takes_place_at(place) verknüpft ;
• Der Konzepttyp von Wiese erfüllt die Beschränkungen für das Argument dieser Relation.
Wie kann man derartige Interpretationsmechanismen im gewählten formalen Rahmen
nachbilden? Da hier konzeptuelles Wissen im Spiel ist, muß man eine Möglichkeit finden,
dieses Wissen auch zu repräsentieren. Als natürlicher Ort hierfür bietet sich die schon benutzte
Konzepthierarchie an, die die durch die Lexeme ausgedrückten Begriffe in grober
Weise vorstrukturiert. Durch Einführung weiterer Merkmale können feinkörnigere Differenzierungen
erzielt werden, wie (27) zeigt:
(27) physical_entity ::
PHYSICAL_STATE: physical_state ∧
CONSISTS_OF: list ∧
HAS_PARTS: list
temporal ::
TAKES_PLACE_AT: place
Eine Instanz von physical_entity hat demnach Attribute für den Aggregatzustand, für das
Material und die Teile, aus denen es besteht; eine Instanz des Typs temporal, der Supertyp
von event und activity ist, weist ein Merkmal für den Ort auf, an dem der zeitliche Ablauf
stattfindet.
Allerdings sind aussagenlogische Typsysteme nicht stark genug, um die Art von Wissensrepräsentation
zu ermöglichen, die benötigt wird. Diese Typsysteme dürfen keine Variablen
enthalten und auch keine Sorten, die aber gerade benötigt würden, um Relationen zu repräsentieren.
Die Lösung für dieses Problem sind sog. rekursive Typenconstraints (vgl. Carpenter
(1992)), bei denen ein Typ mit einem beliebigen Merkmalsterm versehen werden kann:
(28) Const: AtomType � Desc
Const ist demnach eine Funktion, die einem atomaren Typ σ einen Merkmalsterm φ der Beschreibungslogik
zuordnet. Die intendierte Bedeutung davon ist, daß jede Instanz von σ mit
φ unifizierbar sein muß. Die nächste Abbildung zeigt Const(knife):
151