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