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