В статье рассматривается проблема формализации результатов понятийного анализа. Применяемый подход состоит в создании понятийной модели предметной области путем выражения ее понятийной структуры на метаязыке контекстной технологии. Ставится и решается задача проверки получаемых понятийных моделей на полноту и непротиворечивость.