В работе рассмотрен вопрос разработки формализованного языка представления знаний для диагностики состояний в сложной вычислительной системе с использованием CIM-метамодели и CDM-схемы. Предложено описание основных понятий CIM-метамодели и CDM-схемы на языке ALC. Указаны конструкторы, которые позволят описать любую CIM-схему или CIM-модель. Приведен пример описания понятия. Предложенный язык ALC может быть использован в процессе разработки экспертных систем контроля и диагностики состояний сложных вычислительных систем на основе применения методов искусственного интеллекта. Ключевые слова:CIM, CDM, дескрипционная логика, базы знаний, распределённые вычислительные системы.
