Он уже это написал, в формате текстов руководств. В формате “определений в логическом языке” – не работает, и ручная массовая формализация тоже – не работает. Проверено многочисленными работами онтологическим сообществом где-то в начале 10х годов. В 2013-2015 году поэтому все работы такого сорта были заброшены, “не работает”.