Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

УДК 004.5, 004.9 DOI: 10.25702/KSC.2307-5252.2018.10.77-90 А.В. Вицентий1, М.Г. Шишаев1, П.А. Ломов1, Г.Г. Гогоберидзе2 1 Институт информатики и математического моделирования ФИЦКНЦРАН 2 ФГБОУВО «МАГУ» РАЗРАБОТКА ОНТОЛОГИИ ПРЕДМЕТНОЙ ОБЛАСТИ ДЛЯ ФОРМАЛЬНОГО ЛОГИЧЕСКОГО ВЫВОДА И ВИЗУАЛИЗАЦИИ В СИСТЕМАХ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ЗАДАЧ МОРСКОГО ПРОСТРАНСТВЕННОГО ПЛАНИРОВАНИЯ* Аннотация Данная статья является продолжением работ коллектива по созданию подходов к решению задач разработки научно-методических основ управления морским пространственным планированием развития морехозяйственных комплексов европейской части Арктической зоны Российской Федерации на основе интеллектуальных информационных технологий (на примере морехозяйственного кластера Мурманской области). Задача, решение которой описано в этой статье, заключается в анализе и выявлении основных концептов и отношений, используемых в рамках системы пространственного планирования, и разработке их формального представления в виде онтологической модели для последующего автоматизированного выполнения аналитических операций с использованием логического вывода на примере морехозяйственного кластера Мурманской области. Предлагаемое решение основано на онтологической модели предметной области морского пространственного планирования. Модель представляет машинно-интерпретируемый набор сущностей и отношений, выявленный на примере морехозяйственного кластера Мурманской области, а также обеспечивает возможность задания набора основных концептов и отношений предметной области и осуществления формального логического вывода для решения различных задач, в том числе и задач обнаружения потенциальных конфликтов при осуществлении различных видов морской деятельности. Ключевые слова: онтология предметной области, морское пространственное планирование, логический вывод, управление пространственно-распределенными системами, интерфейс пользователя, системы поддержки принятия решений A.V. Vicentiy, M.G. Shishaev, P.A. Lomov, G.G. Gogoberidze DEVELOPMENT OF DOMAIN ONTOLOGY FOR FORMAL INFERENCE AND VISUALIZATION IN INFORMATION SUPPORT SYSTEMS FOR THE TASKS OF MARITIME SPATIAL PLANNING Abstract This paper is a continuation of the work to the development of scientific-methodical bases of marine spatial planning of maritime economics development in the European Arctic zone of the Russian Federation on the basis of intelligent information technologies on the example of the Murmansk region. The scientific problem, the solution of which is described in this article is to analyze and identify the main concepts and relationships used within the spatial planning system, and to develop their formal * Исследование выполнено при частичной финансовой поддержке РФФИ и Министерства образования и наукиМурманской области в рамкахнаучныхпроектов№ 17-47-510298 р_а и 17-45­ 510097 р_а. 77