Разработаны следующие языки системы \"Бинарная модель знаний\", предназначенной для спецификации и интерпретации онтологий: язык для структурной спецификации понятий в онтологиях; язык запросов к базам фактов в онтологиях. Разработаны программы трансляции языков.