. Такие модели связаны с подходом к моделированию предметной области информационной системы, основанным на использовании формальных языков. Как и в случае структурированных моделей, здесь определена регулярная структура предметной области, но для модельного ее представления используются формальные языки. Формальное представление предметной области, как и в случае структурированных моделей, является двухуровневым. Оно включает интенсионал и экстенсионал предметной области. Интенсионал представляет собой набор аксиом, описывающий соотношения между его элементами — типами сущностей и связей. В данном контексте они представляются как предметные переменные.
Экстенсионал предметной области представляется в данном случае в виде совокупности фактов.
Для создания формальных моделей обычно используются различные языки представления знаний, чаще всего языки логики первого порядка, В последнее время стала применяться их разновидность — языки логик описаний [Lambrix P. Description Logics. Intelligent Information Systems Laboratory. Department of Computer and Information Science. Linkoping University, Linkoping, Sweden http://www.ida.liu.se/labs/iislab/people/palta/DL/index.html].
Рассматриваемый подход позволяет осуществлять логический вывод, и пользователь может получать при обращении к системе новые факты, которые непосредственно в явном виде в ней не были представлены. Такие интеллектуальные информационные системы являются представителям класса систем, основанных на знаниях. Они весьма близки по своим возможностям к системам баз знаний, экспертным системам и т.д.