Die Habilitationsschrift beschreibt die Bedeutung formaler Spezifikationen in verschiedenen Bereichen der Informatik wie Datenbanken, Verarbeitung natürlicher Sprache und autonome Systeme. Er betont die Herausforderung, formale Spezifikationen zu entwerfen, die das intendierte Modell oder Verhalten korrekt erfassen. Als Lösung schlägt die Habilitationsschrfit Repräsentationstheoreme vor, die alle Modelle einer formalen Spezifikation durch eine Teilmenge einfach konstruierter Modelle darstellen.
Die Arbeit entwickelt Repräsentationstheoreme für drei Anwendungsfälle: räumliche Beziehungen, Datenströmungsverarbeitung und Überzeugungsrevision. Außerdem zeigt die Arbeit Anwendungen auf, die nach dem ontologiebasierten Datenzugriffsparadigma konzipiert sind, in dem universelle Modelle zur Abbildbarkeit von Anfragen verwendet werden.
Die Ergebnisse demonstrieren den Nutzen von Repräsentationstheoremen für den Entwurf und die Evaluierung formaler Spezifikationen und können als theoretischer Beitrag für zukünftige Anwendungsentwicklungswerkzeuge dienen.