Разработаны теоретические вопросы представления знаний на основе онтологий в концептуальных языках. Созданы языки в системе \"Бинарная Модель Знаний\", предназначенной для спецификации и интерпретации онтологий: язык ЯСС для структурной спецификации понятий в онтологиях, язык ЯЗ запросов к базам фактов в онтологиях. Представлены программы трансляции ЯСС и ЯЗ в SQL.