В статье предложен подход к решению задачи поиска противоречий в правовых текстах. Описана структура модели предметной области и онтологии. Представлены примеры противоречий, предложена их формальная модель и методы выявления, опирающиеся на структуру модели и онтологии. Рассмотрена структура ЭБ «Мониторинг правового пространства и правоприменительной практики в СФ РФ».