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

Мерник ванных тщдм 2111 СИНТЕЗ ИМИТАЦИОННЫХ МОДЕЛЕЙ НА ОСНОВЕ ОНТОЛОГИЙ С ИСПОЛЬЗОВАНИЕМ ПРОЦЕДУРЫ СООТНЕСЕНИЯ ШАБЛОНОВ И ОБРАТНОЙ «ДОПАРАМЕТРИЗАЦИИ» ОНТОЛОГИИ О.В. Кудинова В рамках работы ИИММ была разработана онто­ логия КНЦ и технология синтеза имитационной мо­ дели на основе шаблонов. Для решения задачи син­ теза имитационной модели на основе онтологическо­ го описания, необходимо сначала вырезать соответ­ ствующий фрагмент онтологии в соответствии с по­ ставленной целью. Затем соотнести набор шаблонов с этим фрагментом, и провести процедуру допара- метризации онтологии в случае, если некоторые шаблоны невозможно сопоставить с элементами он­ тологии, либо они соотнесены частично. Онтологию можно представить следующим обра­ зом [1]: O=<X, At* Rx, F>, где Х - множество понятий онтологии; A^ - множество атрибутов над понятиями онто­ логии; Rx - множество отношений над понятиями онто­ логии; F - множество правил функционирования онто­ логии. Процедура выделения фрагмента онтологии представлена как отображение 4 множества O в под­ множество Ob. Отображение выполнено в соответст­ вии с целью имитационного моделирования. G - де­ рево целей, состоящее из двух уровней. Тогда проце­ дуру выделения можно представить следующим об­ разом (1): £, : О ° >ОЪ , (1) где О Ь d X причем З х £ X : X = |^J x t■, и i 3 g t е G : £ , ® х , . i = l , k , где к - количество подцелей. Операция ® обозначает однозначное соответст­ вие элементу множества G элемента множества X. В данном случае X является корнем дерева. Процедура выделения связей из онтологии пред­ ставлена как отображение ю множества O в подмно­ жество ОЬ следующим образом (2): Сд'.О (2) где О Ь a X такое, что Уо/г и \/о Ь } е Ob 3R , ® R x , R x е R x и R, e R . где i = \, к . к - количество подцелей; Rx - множество связей над понятиями онтологии; R - множество связей между элементами шаблона. Процедура выделения атрибутов из онтологии представлена как отображение и множества O в под­ множество ОЬ следующим образом (3): V О —^ О Ь , (3) где O b d X такое, что Уо/г е Ob 3 a t j ® a t x , a t x е A t x и a t i е A t , где 7 = 1, к , к - количество подцелей; Atx- множество атрибутов над понятиями онто­ логии; At - множество атрибутов множества шаблонов. Процедура выделения правил функционирования из онтологии представлена как отображение с мно­ жества O в подмножество Ob следующим образом (4): ' с т . О ^ - О Ь , (4) где O b d X такое. что Уо/г е ОЬ 3 /- ® f х . Л , е и / е >' • где / = 1, к , А' - количество подцелей; Fx - множество правил функционирования над понятиями онтологии; F - множество правил функционирования шабло­ нов. Таким образом, получен следующий фрагмент онтологии (5): ФО = <Ob, A, F, R>, (5) где Ob - множество объектов; A - множество атрибутов над Ob; F - множество правил функционирования над Ob; R - множество отношений между Ob. Пусть имеется вырезанный фрагмент из онтоло­ гии КНЦ. Этот фрагмент был выбран в соответствие с поставленной целью - «Финансирование КНЦ». На рис. 1. изображен фрагмент онтологии КНЦ, где С - концепты, А - атрибуты соответствующих концептов, стрелки - связи между концептами. В соответствии с технологией концептуальных шаблонов шаблон - это некоторая типовая конст­ рукция, обладающая неизменной структурой и набо­ ром входных и выходных параметров, а также функ­ ционально реализующая определенную цель [2]. Определим множество шаблонов A={Pt}, где i=1,...,m., m-размерность множества А. 46