Программное обеспечение для лингвистически-ориентированного пополнения онтологии

Описана логика создания программного обеспечения, ориентированного на пополнение онтологии с использованием средств лингвистической трансляции. Предложен интерфейс онтологией, обеспечивающий ввод соответствия естественно-языковых описаний и формальных конструкций. Разработан механизм выдвижения предположений по обобщению вводимой информации с использованием онтологии и по организации проверки предложений. Реализован макет, воплощающий разработанную логику в программах.