In den vier vorangegangenen Abschnitten haben wir vier der besonders wichtigen Repräsentationsformalismen eingeführt, die einen wesentlichen Einfluß auf die Entwicklung von Wissensrepräsentationssprachen hatten, die in der Praxis der Wissensverarbeitung tatsächlich Verwendung finden. Obwohl noch weitere bedeutende Formalismen in den nachfolgenden Abschnitten zu behandeln sind, wollen wir schon an dieser Stelle eine Reihe dieser Sprachen erläutern, mit einer besonderen Behandlung von KL-ONE.