Без заголовка

Я не имею ввиду простую трансформацию из "логики полуторного порядка" CycL в FOL из ISO 15926. Я имею ввиду совсем-совсем другой процесс утилизации знания (возможно, правильно было бы говорить не "перекодируем", а "перепрограммируем" или "переонтологизируем" -- хотя бы с учетом того, что CYC это 3D онтология, а 15926 это 4D. Но это не значит, что перекодирование невозможно, и знания одной онтологии навеки потеряны для другой). Обсуждения перекодировок онтологий в среде онтологов регулярны, обсуждаются как ontology merge. Прогресс в этой сфере не слишком большой, но устойчивый.