In dieser Arbeit wird ein hybrides System zur Repräsentation von Expertenwissen entwickelt, welches durch die Kopplung eines

frame- und regelbasierten Formalismus entsteht. Basierend auf einer gemeinsamen Semantik werden die spezialisierten Inferenzverfahren der Formalismen erweitert.

Thema des Buches sind Termgraphen, in denen auch Variablenbindung und mehrfaches Vorkommen von Variablen auf originelle Weise explizit, elegant und mit größter Allgemeinheit formalisiert sind.

Bei der Wiedergewinnung und Repräsentation von gespeicherten Datenbankobjekten sind ihre etwaigen verdeckten Strukturen und Zusammenhänge von großem Interesse. Daher ist eine Präsentation des aktuellen Datenbankbestandes nötig, welche über die übliche i. d. R.