Разработка и исследование методов, алгоритмов и программ для поддержки онтологического моделирования
Full Name of the work head: Калимолдаев М.Н.
Исполнители проекта: Карабеков Б.С., Плесневич Г.С., Тарасов В.Б.
: Институт информационных и вычислительных технологий
Inventory number: 0217РК02334
Registration number: 0115РК00532
Keywords: искусственный интеллект*онтологии*языки спецификации онтологий
Определена семантика языков концептуального типа для спецификации онтологий. Разработаны язык структурной спецификации для системы онтологического моделирования \"бинарная модель знаний\" (БМЗ), язык логической спецификации для онтологического моделирования в системе БМЗ, язык запросов для баз фактов онтологий, язык гибких (нечетких) запросов.