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