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

мониторинга. Теперь можно также в виде ситуаций задавать природные явления, происходящие на некоторой территории. Проведение классификации машиной вывода в этом случае позволяет автоматически выявлять конфликтные ситуации, на основе рассмотренной выше аксиомы, заданной в рамках определения класса «Конфликтная ситуация». Визуальное представление конфликтной ситуации, полученной с помощью формального логического вывода на разработанной онтологии предметной области, представлено на рисунке 4. Рисунок 4. Визуальное представление конфликтной ситуации. 6 . Заключение и обсуждение полученных результатов В данной работе описано решение задачи анализа и выявления основных концептов и отношений, используемых в рамках системы пространственного планирования, и разработки их формального представления для последующего автоматизированного выполнения аналитических операций с использованием логического вывода. В основе предложенного решения поставленной задачи лежит онтологическая модель предметной области морского пространственного планирования, представляющая машинно-интерпретируемый набор сущностей и 87