В работе кратко описывается концептуальный язык, содержащий средства для спецификации темпоральных отношений в онтологиях. Вместе с ним рассматриваются языки структурной и логической спецификации, поддерживающие систему «Бинарная Модель Знаний», которая предназначена для автоматизированного построения и анализа онтологий. Ключевые слова: базы знаний, онтологии, языки для спецификации онтологий, темпоральные отношения.