Языки концептуального моделирования в большинстве своём определяют отдельно уровень классов и уровень объектов как экземпляров классов. Лишь некоторые используют многоуровневый подход к моделированию, в котором на основе отношений класс-экземпляр можно выстраивать таксономии. В статье рассмотрены некоторые языки, позволяющие создавать многоуровневые спецификации концептуальных схем. Затронуты вопросы вычислительной сложности моделей при использовании многоуровневых спецификаций. Изложен подход к онтологическому и концептуальному моделированию предметных областей с использованием многоуровневых спецификаций на языке СИНТЕЗ