Рассматривается база знаний с понятийной моделью предметной области. Понятийная модель состоит из понятийной структуры и содержания входящих в нее понятий. Понятийная структура описывает каждое понятие как результат обобщения или ассоциации других понятий. Содержание понятий задается перечислимыми и разрешимыми множествами сущностей. Понятийная структура содержит правила вывода на знаниях и рассматривается как формальная теория предметной области, сохраняющая истинность всех выводимых в ней следствий. Декларативные знания представляются понятиями с перечислением принадлежащих им сущностей. Процедурные знания задаются на языке описания знаний, который используется для понятий с разрешимыми множествами сущностей, а также для выражения фактов и формирования запросов к базе знаний. На языке описания знаний фактами являются истинными высказываниями с логическим связками, круглыми скобками и элементарными выражениями: одноместными предикатами принадлежности сущности понятию, функторами извлечения сущностей из составных сущностей, а также отношениями между сущностями. Запросы выражаются в виде факта со свободным вхождением сущностной переменной, а выполнение запроса создает понятие с сущностями, для которых факт выполним. Для изменения состояния базы знаний в языке предусмотрены операции создания, удаления и изменений сущностей, а также условные операторы и операторы циклов. Использование языка описания знаний позволяет повысить выразительность представления и эффективность обработки больших объемов знаний.