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