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