Спасибо за вопрос.
На данный момент метаязыки только сравниваются между собой на предмет соответствия поставленной задаче.
В дальнейшем мы планируем рассмотреть анализ самих языков, основываясь на правилах и законах логики предикатов (в качестве предикатов первого порядка выступают связи в онтологии).
Ответить
Обсуждение работ закрыто!
Ответить
Обсуждение работ закрыто!
Ответить
Обсуждение работ закрыто!