В работе кратко описывается концептуальный язык, содержащий средства для спецификации темпоральных отношений в онтологиях. Вместе с ним рассматриваются языки структурной и логической спецификации, поддерживающие систему «Бинарная Модель Знаний», которая предназначена для автоматизированного
построения и анализа онтологий. In the paper a conceptual language with facilities for temporal relations specification are briefly described. Related to the language, languges for structural and logical specificatins are considerated; they support the system «Binary Model of Knowledge» that intends for design and analysis of ontologies.