8. Automatische Konversion von natürlichsprachlichen Texten zu Ontologien am Beispiel von Wartungshandbüchern für Flugzeuge

Im Zuge der digitalen Transformation von Geschäftsprozessen entsteht die Notwendigkeit, in natürlicher Sprache verfasste Handlungsanweisungen, Verträge und vertragsähnliche Dokumente in eine formale, computerausführbare Sprache (Code) zu wandeln, um z. B. Workflow Automation oder Smart Contracts umzusetzen. Das Anwendungspotenzial hierfür ist enorm: Alle menschenlesbaren Vorschriften sind typischerweise in natürlicher Sprache niedergeschrieben (Montageanleitungen, Verträge, gesetzliche Regulierungen etc.). Das Bestreben, Prozesse zu automatisieren (z. B. robotergestützte Wartung, Regelkonformität bei Banktransaktionen etc.) macht es erforderlich, textlich gefasste Vorschriften computerisiert ausführbar zu machen. Der herkömmliche Weg hierfür ist die manuelle „Übersetzung“ der textlichen Vorschriften in Skripte bzw. prozedurale Programmiersprachen. Diese Übertragung ist nicht nur sehr aufwendig, sondern auch fehleranfällig. Das hier vorgestellte Verfahren SemanticMatcher ermöglicht eine vollautomatische Transformation von natürlichsprachlichen Texten in eine computerverständliche Wissensrepräsentation mittels Logik höherer Ordnung (Higher-Order Logic).