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