Без заголовка
"Это всё не снимает задачи нахождения нормального представления для knowledge graph" - нет такой задачи, мы уже обсуждали это лет 5 назад. Оптимальное представление это дерево с модальностями. Туда помещается как вся FOL, так и любые "с вероятностью 80%", "по мнению Васи", "в документе N123", etc.
Чего сейчас нет, так это полноценных расширений FOL для работы с событиями, состояниями и транзакциями. Есть узконишевые DSL в областях https://en.wikipedia.org/wiki/Business_rule_management_system и https://en.wikipedia.org/wiki/Action_description_language Но для цельного описания систем они непригодны.