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

У Д К 0 0 4 . 9 D O I : 1 0 . 2 5 7 0 2 / K S C . 2 3 0 7 - 5 2 5 2 . 2 0 1 8 . 1 0 . 1 3 0 - 1 4 3 А.Г. Олейник Институт информатики и математического моделирования ФИЦКНЦРАН ПРЕДВАРИТЕЛЬНЫЕ РЕЗУЛЬТАТЫ ИССЛЕДОВАНИЙ ПО ПРОЕКТУ «РАЗРАБОТКА МОДЕЛИ, МЕТОДОВ ИНТЕГРАЦИИ И СИСТЕМНОГО ИСПОЛЬЗОВАНИЯ МЕЖДИСЦИПЛИНАРНЫХ ЗНАНИЙ И ДАННЫХ ДЛЯ ПОДДЕРЖКИ УПРАВЛЕНИЯ КОМПЛЕКСНЫМ РАЗВИТИЕМ АЗРФ»* Аннотация Представлен обзор результатов первых двух лет работ по проекту. Рассмотрено решение задачи определения области компетенции и структуры онтологии знаний об АЗРФ. Отличительной особенностью разрабатываемых решений является представление онтологии в виде специализированных матрицеподобных структур алгебры кортежей. Это дает возможность рассматривать задачи вывода на онтологии как задачи удовлетворения ограничений. Применение паттернов онтологического проектирования и технологий программирования в ограничениях позволило разработать методы оптимизации выполнения запросов доступа к данным на основе онтологий. Ключевые слова: междисциплинарные знания, интеграция знаний, онтологическое моделирование, вывод над онтологией, алгебра кортежей, удовлетворение ограничений A.G. Oleynik PRELIMINARY RESULTS OF RESEARCH ON THE PROJECT «DEVELOPMENT OF THE MODEL, METHODS OF INTEGRATION AND USE OF INTERDISCIPLINARY KNOWLEDGE AND DATA FOR MANAGEMENT SUPPORT OF THE RUSSIAN ARCTIC COMPLEX DEVELOPMENT» Abstract An overview of the results obtained in the first two years of work on the project is presented. The solution of the problem of determining the competence area and the structure of ontology of knowledge about the Russian Arctic is considered. The ontology representation in the form of specialized matrix-like structures of the algebra of tuples is distinctive feature of the solutions being developed is. The use of Ontology Content Design Patterns and constraint programming technologies made it possible to develop methods for optimizing the execution queries in the frame of ontology-based data access. Keywords: interdisciplinary knowledge, knowledge integration, ontology modeling, inference on ontology, tuple algebra, constraint satisfaction Введение Э ф ф е к т и в н о е о б е с п е ч е н и е н а ц и о н а л ь н ы х и н т е р е с о в Р о с с и и в А р к т и к е т р е б у е т р а з р а б о т к и и р е а л и з а ц и и к о м п л е к с н ы х , с и с т е м н ы х р е ш е н и й в о б л а с т и р а з в и т и я д а н н ы х т е р р и т о р и й , у ч и т ы в а ю щ и х и х с п е ц и ф и ч е с к и е о с о б е н н о с т и . Д л я в ы р а б о т к и т а к и х р е ш е н и й с у щ е с т в у е т з а д е л в в и д е н а к о п л е н н ы х з н а н и й и *Работа выполнена при финансовой поддержке РФФИ (проект№16-07-00562-а) 130