Рассмотрено построение формальной модели предметной области для интеллектуальной системы, использующей интеллект с дескрипционной логикой. Созданы три взаимосвязанные категориальные модели. В частности определено представление знаний о предметной области в виде категории знаний. Рассмотрены отдельные свойства введенных категорий и связь категории знаний с возможностью решения задач в моделируемой предметной области.
Розглянуто побудову формальної моделі предметної області для інтелектуальної системи, що використовує інтелект з дескріпційною логікою. Створено три взаємопов'язані моделі у вигляді категорій. Зокрема, визначено подання знань про предметну область у вигляді категорії знань. Розглянуто окремі властивості введених категорій і зв'язок категорії знань з можливістю розв'язання задач у предметній області, що моделюється.
Construction of a formal domain model for an intelligent system using intelligence with descriptive logic is considered. Three interrelated category models are created. In particular, the representation of knowledge about the subject area is defined as a category of knowledge. The individual properties of the introduced categories and the relationship of the category of knowledge with the ability to solve problems in the modeled subject area are considered.