Онтологии в настоящее время являются достаточно эффективным инструментом инженерии знаний. Для создания и успешного использования онтологий необходимо формальное описание как их содержания, так и способов их представления. Рассматривается теоретико-модельный подход к формализации онтологии.