Научная статья на тему 'Формальные аспекты взаимосвязи УФО-подхода и языка представления онтологий RDF'

Формальные аспекты взаимосвязи УФО-подхода и языка представления онтологий RDF Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
211
100
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УФО-ПОДХОД / СИСТЕМНО-ОБЪЕКТНЫЙ ПОДХОД / ОНТОЛОГИЯ / ОНТОЛОГИЧЕСКИЙ ИНЖИНИРИНГ / RDF / UFO APPROACH / ONTOLOGY / ONTOLOGY ENGINEERING

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Кондратенко А.А., Маторин С.И.

Статья посвящена развитию идеи построения онтологий на основе УФО-моделей предметных областей. Формулируется классификация фактов, извлечение которых из УФО-модели, необходимо в целях построения основы онтологии. С учетом данной классификации разрабатывается формальное обоснование и правила извлечения данных из УФО-модели. Для каждой группы фактов из классификации приводится формализованное описание на основе одного или сочетания нескольких средств формализации УФО-моделей, таких как теория паттернов Гренандера и исчисление процессов Милнера. Обосновывается возможность преобразования УФО-моделей в онтологии, представленные на языке RDF.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The development of existing methodologies and approaches to building ontologies and creation some new, more effective ones is one of the most actual themes in ontology engineering now. The article is devoted to the evolution of idea about building ontologies on the base of UFO domain models. The detailed classification of the facts, which are extracted from UFO domain models, is formulated. On the base of this classification the formal basis and rules of data extracting from UFO model are developed. Each group in extracted facts classification is formalized by one or by combination of approaches like Grenander's pattern theory, Milner’s calculus of communicating systems (CSS). The possibility of transformation UFO domain models into formalized by RDF ontologies are proved.

Текст научной работы на тему «Формальные аспекты взаимосвязи УФО-подхода и языка представления онтологий RDF»

Серия Экономика. Информатика. 2016. №2 (223). Выпуск 37

СИСТЕМНЫЙ АНАЛИЗ И УПРАВЛЕНИЕ

УДК 004.822

ФОРМАЛЬНЫЕ АСПЕКТЫ ВЗАИМОСВЯЗИ УФО-ПОДХОДА И ЯЗЫКА ПРЕДСТАВЛЕНИЯ ОНТОЛОГИЙ RDF

THE FORMAL ASPECTS OF INTERRELATION BETWEEN UFO APPROACH AND RDF LANGUAGE OF ONTOLOGY REPRESENTATION

Аннотация. Статья посвящена развитию идеи построения онтологий на основе УФО-моделей предметных областей. Формулируется классификация фактов, извлечение которых из УФО-модели, необходимо в целях построения основы онтологии. С учетом данной классификации разрабатывается формальное обоснование и правила извлечения данных из УФО-модели. Для каждой группы фактов из классификации приводится формализованное описание на основе одного или сочетания нескольких средств формализации УФО-моделей, таких как теория паттернов Гренандера и исчисление процессов Милнера. Обосновывается возможность преобразования УФО-моделей в онтологии, представленные на языке RDF.

Resume. The development of existing methodologies and approaches to building ontologies and creation some new, more effective ones is one of the most actual themes in ontology engineering now. The article is devoted to the evolution of idea about building ontologies on the base of UFO domain models. The detailed classification of the facts, which are extracted from UFO domain models, is formulated. On the base of this classification the formal basis and rules of data extracting from UFO model are developed. Each group in extracted facts classification is formalized by one or by combination of approaches like Grenander's pattern theory, Milner's calculus of communicating systems (CSS). The possibility of transformation UFO domain models into formalized by RDF ontologies are proved.

Ключевые слова: УФО-подход, системно-объектный подход, онтология, онтологический инжиниринг,

Keywords: UFO approach, ontology, ontology engineering, RDF.

Создание новых эффективных методов, подходов и средств построения онтологий предметных областей - это одна из самых сложных и важных задач, стоящих перед исследователями и разработчиками в области онтологического инжиниринга. Значительное число работ российских и зарубежных ученых и специалистов в данной сфере посвящено именно разработке комплексных подходов и отдельных приемов, средств и инструментов создания онтологий, позволяющих при наименьших затратах получить максимально точный, полный и пригодный для использования в прикладных информационных системах результат - онтологии предметных областей.

Авторами также разрабатывается оригинальный подход к процессу построения онтологий [Слободюк и др., 2013; Слободюк, Маторин, 2013; Слободюк, Маторин, 2014], основой которого являются базовые понятия, принципы и методы подхода «Узел-Функция-Объект» (УФО-подхода) и результаты проведения УФО-анализа предметных областей. Основной гипотезой нового подхода является извлечение по некоторому заданному набору правил фактов, характеризующих предметную область из соответствующей УФО-модели, их формальное представление с помощью специализированных языков описания онтологий и использование полученных конструкций в качестве основы для непосредственного создания онтологии предметной области. В связи с этим представляется необходимым рассмотреть взаимосвязь существующих средств формального представления он-тологий предметных областей и формального аппарата УФО-подхода.

Помимо неформального, вербального представления онтологий, учеными разработано множество средств формального описания онтологий с использованием специализированных языков: RDF, DAML+OIL, OWL, OCML, LOOM и ряда других. Наиболее широкое распространение получил OWL (Web Ontology Language) - язык для определения и представления веб-онтологий [OWL Web Ontology Language, 2015]. OWL позволяет группировать информацию в онтологии и представлять ее в качестве документов. В дальнейшем с помощью специализированного инструментария может

А.А. Кондратенко, С.И. Маторин A.A. Kondratenko, S.I. Matorin

Белгородский государственный национальный исследовательский университет, Россия, 308015, Белгород, ул. Победы, 85

Belgorod State National Research University, 85 Pobeda St, Belgorod, 308015, Russia

E-mail: a.kondratenko-sl@yandex.ru

RDF.

Серия Экономика. Информатика. 2016 № 2 (223). Выпуск 37

быть проведена обработка таких документов, что позволяет извлечь информацию, заложенную в онтологии.

Исходным синтаксисом обмена, базисом для OWL является RDF. RDF (ResourceDescriptionFramework) - это универсальный язык для представления знаний в Сети. Он позволяет представлять знания в самом общем виде, при этом являясь «универсальным средством для обмена данными между разными программами» [Segaran et al., 2009; Hebeler et al., 2009]. В основе RDF лежит представление фактов в качестве триплетов вида «Субъект - Отношение (предикат) - Объект». RDF поддерживает несколько нотаций, среди которых наиболее распространенными являются:

• Turtle - компактный, удобный для восприятия человеком формат.

• N-Triples - простой, в том числе для машинного чтения, «линейный» формат записи; представляется менее компактным по сравнению с Turtle.

• N-Quads - представляет собой расширение N-Triples для сериализации множественных

графов.

• JSON-LD - формат сериализации данных RDF, основанный на формате JSON.

• Notationß, или сокращенно N3 - формат, схожий с Turtle, но обладающий некоторыми дополнительными возможностями, такими как возможность описания правил вывода.

• RDF/XML - первый формат для сериализации RDF, основанный на синтаксисе XML.

Поскольку RDF является базисом для некоторых других, более специализированных для он-

тологий языков типа OWL, в контексте задачи разработки нового метода построения онтологий, основанного на принципах и средствах УФО-анализа, целесообразно рассмотреть связь средств формализации УФО-подхода именно с RDF.

В работе [Слободюк и др., 2013] приводятся результаты сравнительного анализа основных принципов представления данных в УФО-подходе (средствах его формализации) и языке RDF. Полученные результаты позволяют утверждать, что УФО-модель предметной области может быть представлена с помощью языка RDF. Для более детального и всестороннего обоснования данного утверждения необходимо рассмотреть конкретные составляющие (шаги) процесса представления УФО-модели на языке RDF.

Поскольку язык RDF оперирует триплетами вида «Субъект - Отношение (предикат) - Объект», необходимо определить в аналогичном виде набор фактов (сведений) о предметной области, содержащихся в УФО-модели и подлежащих извлечению из нее. Для систематизации разновидностей таких фактов применяется классификация фактов, предложенная в [Слободюк, 2014]. В данной классификации выделены следующие группы фактов:

I. На уровне УФО-элемента

На рис. 1 приведена схема, иллюстрирующая принцип формирования данной группы фактов.

3

г---------------п

1 2

Узел ---► Функция ---► Объект

Рис. 1. I группа фактов, извлекаемых из УФО-модели Fig. 1. The first group of facts which are extracted from UFO domain model

1. Узел балансируется Функцией.

2. Функция реализуется с помощью Объекта.

3. Узел занят Объектом.

I(inv). На уровне УФО-элемента

Рис. 2 отражает схему получения фактов данной группы.

— Функция

— Объект

Рис. 2. I(inv) группа фактов, извлекаемых из УФО-модели Fig. 2. The fisrt-inverted group of facts which are extracted from UFO domain model

1. Функция балансирует Узел.

2. Объект реализует Функцию.

3. Объект занимает Узел.

II. На уровне Узла

На рис. 3 приведена схема, характеризующая данную группу фактов.

1 • Узел

Lk?? и

Рис. 3. II группа фактов, извлекаемых из УФО-модели Fig. 3. The second group of facts which are extracted from UFO domain model

Обозначим k? - количество входящих связей Узла, k! - количество исходящих Связей, t? -количество различных типов входящих Связей, t! - количество различных типов исходящих Связей. Тогда:

1. (Для каждого m=i..t?) Узел имеет входящую Связь (порт) класса ßm.

2. (Для каждого m=i..t!) Узел имеет исходящую Связь (порт) класса ßm.

3. (Для каждого m=i..k?) Узел имеет входящую Связь Lm?

4. (Для каждого m=i..k!) Узел имеет исходящую Связь Lm!

5. (Для каждого m=i..k?) Связь Lm? принадлежит классу ßj, причем . j е (1../?)

6. (Для каждого m=i..k!) Связь Lm! принадлежит классу ßj, причем j е (1../!).

III. На уровне Функции

1. (Для каждого m=i..k?) Функция преобразует вход Lm?

2. (Для каждого m=i..k!) Функция выдает выход Lm!

IV. На уровне Объекта

Обозначим q - количество признаков (атрибутов) Объекта. Тогда (для каждого m=i..q) Объект обладает признаком am.

V. На уровне связей между двумя УФО-элементами

Рис. 4 иллюстрирует схему получения фактов данной группы.

УФО1 L=L1!=L2? . УФО2

Рис. 4. V группа фактов, извлекаемых из УФО-модели Fig.4. The fifth group of facts which are extracted from UFO domain model

Обозначим h - количество связей между УФО-элементами УФО1 и УФО2. Тогда (для каждого m=i..h) УФО1 передает L УФО2

V(inv). На уровне связей между двумя УФО-элементами

Принцип формирования данной группы фактов проиллюстрирован на рис. 4: (для каждого m=i..h) УФО2 получает L от УФО1.

VI. На уровне декомпозиции УФО-элемента

Если УФО-элемент УФО1может быть декомпозирован, то есть представлен в виде комбинации УФО-элементов УФО2...УФОп, то:

УФО1 имеет в качестве части УФОп.

VII. На уровне агрегации УФО-элементов

С учетом вышеприведенных положений:

уФОп является частью УФО1.

Чтобы извлечь указанные факты из УФО-модели, требуется иметь ее формализованное представление и соответствующие правила извлечения. В литературе встречаются подходы к формализации УФО-подхода, использующие как отдельные алгебраические средства (теория паттернов

122 НАУЧНЫЕ ВЕДОМОСТИ [5. | Серия Экономика. Информатика.

2016 №2(223). Выпуск 37

Гренандера, исчисление процессов Милнера, исчисление объектов и другие), так и их сочетание [Жихарев, 2013]. Каждый из таких математических аппаратов успешно используется для формализации отдельного аспекта УФО-подхода, причем выбор осуществляется в зависимости от поставленных задач.

В случае с задачей извлечения и формальной записи фактов о предметной области из УФО-модели требуется иметь математический аппарат, позволяющий формально описать все извлекаемые факты. Очевидно, что для отражения фактов всех групп, за исключением группы III (на уровне Функции), может использоваться с теми или иными допущениями теория паттернов Гренандера [Grenander, 1979]. Для того чтобы учесть также и группу III, можно воспользоваться способом формализации, предложенным в работе [Зимовец, 2012].

Рассмотрим способ формализации [Зимовец, 2012] в контексте задачи извлечения фактов о предметной области из УФО-моделей. Авторы указанной работы представляют систему (УФО-элемент) в виде кортежа:

e =< U, F ,O > (1)

где U - Узел, F - Функция, O - Объект соответственно.

Такое представление позволяет в удобной форме хранить и извлекать из формального представления УФО-модели факты из группы I.

Каждый элемент приведенного ранее кортежа может быть детализирован. В частности, Узел можно представить в виде выражения:

U = (L?,L!), (2)

где L? - множество входящих связей; L! - множество исходящих связей.

Подобная форма записи позволяет учитывать факты 3 и 4 из группы II. Действительно, в данном случае подразумевается, что L? и L! - это множества (совокупности) входящих и исходящих связей соответственно. Иными словами, если у узла имеется k? входящих и k! исходящих связей, то:

Уж = 1..k? : L ? с L?,

m . (3)

Уж = 1 ..k!: Lm!c L!

Значит, содержащуюся в формальном представлении УФО-модели информацию об элементах множеств L? и L! можно в дальнейшем преобразовать в факты вида «Узел имеет входящую связь Lm?>^ «Узел имеет исходящую связь Lm!».

Для учета фактов групп I и I(inv) также требуется использование идентификатора (имени) узла. В большинстве частных случаев имена Узла и Объекта совпадают, однако в общем случае будем учитывать имя Узла отдельно, обозначая его символом u и включая в формальное представление Узла:

U = (u, L ?, L!). (4)

Второй элемент кортежа, представляющего УФО-элемент, - Функцию - авторы работы [Зи-мовец, 2012] также представляют в детализированном виде, используя понятия, аналогичные терминам исчисления процессов Милнера (CCS). В контексте решаемой задачи наибольший интерес представляет возможность извлечения из формальной записи фактов группы III, куда входят факты вида «Функция преобразует вход Lm?»>и «Функция выдает выход Lm!». Соответственно, для этого не требуется детализированное формальное представление Функции как составляющей УФО-элемента; достаточно ее имени (содержания), которую будем представлять в формальной записи литерой F.

Для описания Объекта как составляющей УФО-элемента используются понятия теории паттернов. При этом вводится следующее представление Объекта:

O = (n,a,ß?,ß!), (5)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

где n - имя Объекта; а - множество признаков Объекта;

ß? - множество показателей множества входящих связей L?; ß! - множество показателей множества исходящих связей L!.

В рассматриваемом контексте примем в качестве показателей связей их класс - вещественные связи, энергетические связи, связи по управлению и связи по данным [Маторин и др., 2005]. Соответственно, для каждой связи из множеств L? и L! в формальной записи УФО-модели присутствуют записи «Узел имеет связь класса ß?i» и «Узел имеет связь класса ß!j» соответственно, что соответствует фактам 1 и 2 из группы II.

С учетом приведенных положений общую запись УФО-элемента можно представить следующим образом:

e =< (L ?, L!), F ,(n,a, ß?, ß!) > (6)

При этом подобного формального представления УФО-элемента достаточно для извлечения фактов групп I, I(inv), II, III и IV.

В целях представления фактов наличия связей между УФО-элементами (группа V) необходимо дополнить указанное представление УФО-элементов. В частности, предлагается дополнительно составлять матрицы, позволяющие наглядно отразить факт наличия той или иной связи в УФО-модели. Возможно несколько вариантов записи таких матриц. Например, в общем случае матрицу связей для 1-го УФО-элемента с k? входных связей и ^ выходных связей можно представить следующим образом:

п; ? о П2 ? П !

2 т

L ?? 0

L ! 0

L2 ! 0

(7)

L !

Li ?

где П ! и П ? - это некоторые входная и выходная связи ^го УФО-элемента, с которым связан рассматриваемый 1-й УФО-элемент. В указанной матрице в строках перечисляются все входные и выходные связи УФО-элемента, а напротив них проставляется обозначение равнозначной связи связанного УФО-элемента. То есть связи, имеющие значение во втором столбце матрицы, являются связью (потоком) между двумя УФО-элементами. Соответственно, на основании подобных матриц из формальной записи УФО-модели можно извлечь факты групп V и V(inv), характеризующие наличие связей между УФО-элементами.

Более универсальным способом является создание матрицы размером ЫхМ элементов, отражающей все существующие на данном уровне УФО-модели взаимосвязи между элементами. При этом:

N = [к' ?

'=; , (8) где п - число УФО-элементов на данном уровне модели (уровне декомпозиции исходного элемента, отражающего систему в целом),

№? - число входящих связей каждого из таких элементов.

Рис. 5. Пример связей между УФО-элементами одного уровня Fig. 5. The example of links between UFO elements on the same level

Серия Экономика. Информатика. 2016 № 2 (223). Выпуск 37

Аналогично:

M = !, (9)

1=1

где n - число УФО-элементов на данном уровне модели (уровне декомпозиции исходного элемента, отражающего систему в целом),

k¡!- число исходящих связей каждого из таких элементов.

Соответственно, в качестве строк такой матрицы выступают входящие связи всех УФО-элементов рассматриваемого уровня модели, а в качестве столбцов - все исходящие связи. На пересечении строки и столбца проставляется значение «1» в случае, когда входящая связь соединяется (является одноименной) с соответствующей исходящей связью, и «о» - в противном случае. Рассмотрим пример - УФО-модель, в которой используется прикладная (модифицированная базовая) классификация связей. Фрагмент этой модели показан на рисунке 5.

Матрица связей в данном случае будет выглядеть следующим образом:

МТО! СДмТО! КТО! СДкТО! МбТО! МбОС! СДмОС! МОС! КОВК! СДкОВК! МбОТК!

000000 000 0 0

000000 000 0 0

000000 000 0 0

000000 000 0 0

0 0 0 0 0 1 0 0 0 0 0 (1о)

100000 000 0 0

010000 000 0 0

000000 000 0 1

001000 000 0 0

000100 000 0 0

000000 010 0 0

000000 100 0 0

000000 001 0 0

000000 000 1 0

М70 ?

СДм70 ? К70 ?

СДк70 ? Мб 70 ? М0С ? СДм0С ? Мб0С ?

КОВК ?

СДк0ВК ? М07К ? СДм0Ж ?

К07К ?

СДк07К ?

Однако при использовании подобного подхода представляется затруднительным установление сведений о количестве и характере связей между конкретными двумя УФО-элементами в модели. Поэтому в отдельных случаях может использоваться другой подход для формальной записи связей между УФО-элементами - составление нескольких матриц, характеризующих связи между двумя отдельно взятыми УФО-элементами одного уровня. Размерность каждой матрицы может быть определена как NxM, причем:

N = к' ?+ к'!, , .

, (11)

M = kJ ?+ к !

где к'? и к>?- число входящих связей i-го и j-го УФО-элементов, к'! и к! - число исходящих связей i-гои j-го УФО-элементов соответственно. То есть в качестве строк подставляются все (сначала входящие, затем исходящие) связи i-го УФО-элемента, а в качестве столбцов - все связи j-го УФО-элемента в аналогичном порядке.

К примеру, рассмотрим уровень УФО-модели, на котором расположены три взаимосвязанных УФО-элемента (рисунок 6).

-L1

Li!-►

Рис. 6. Пример фрагмента УФО-модели Fig. 6. Example of UFO domain model fragment

Для элементов УФО-1 и УФО-2, изображенных на рисунке 6, описанная выше матрица будет выглядеть следующим образом:

L1? L1!

L1? 0 0

L1! 1 0

L2! 0 0

(12)

К достоинствам данного подхода можно отнести то, что из подобных матриц легко установить количество связей между двумя конкретными УФО-элементами. Недостатком, очевидно, является необходимость составления нескольких матриц. В частности, в случае, если на одном уровне модели расположено п взаимосвязанных УФО-элементов, понадобится составление С матриц, где:

п!

С = 2 . 2)!. (13)

2 • (п - 2)!

Исходя из предположения о том, что среднее количество элементов на одном уровне, при котором модель является удобной для восприятия, равно 5, необходимо построение 10 матриц. Если же на одном уровне в модели расположены 6 элементов, число матриц возрастает до 15. Поэтому в общем случае предлагается пользоваться первым, более универсальным и компактным вариантом представления матрицы связей.

Для описания групп фактов VI и VII требуется более сложный и детальный способ формализации. Поскольку УФО-модель предметной области строится по нисходящему принципу, то есть от контекстного уровня до нужной степени декомпозиции, предлагается первоначально рассматривать процесс декомпозиции УФО-элементов.

Вопросы формализации декомпозиции при построении УФО-моделей частично затрагиваются в работе [Зимовец, 2012]. Однако авторами рассмотрен только частный случай - интерфейсная декомпозиция. В целях извлечения фактов о предметной области необходимо рассматривать декомпозицию УФО-элемента в более общем смысле, учитывая возможные варианты внутренних взаимосвязей УФО-элементов на уровне декомпозиции.

Если в рассматриваемой УФО-модели тот или иной УФО-элемент имеет декомпозицию, значит, он может быть представлен совокупностью взаимосвязанных УФО-элементов нижестоящего уровня. Для записи соответствующего факта при извлечении его из УФО-модели предлагается ввести особый предикат (тип отношения) - «является частью». Все УФО-элементы нижестоящего уровня фактически «являются частью» декомпозируемого УФО-элемента. Схематично это можно представить следующим образом (рисунок 7).

УФО-элемент

УФО-элемент

Рис. 7. Схема представления факта наличия декомпозиции УФО-элемента Fig.7. Scheme of the representation of the fact about UFO element decomposition

В целях выявления фактов о «дочерних» УФО-элементах рассмотрим подробнее «Функцию» декомпозируемого УФО-элемента, поскольку декомпозиция является некоторым представлением его внутренней функциональной структуры в виде совокупности взаимосвязанных подсистем (УФО-элементов) со своими функциями. Для этого воспользуемся формальным представлением функции УФО-элемента, приведенным в работе [Зимовец, 2012]:

F = (S, S0, L,), (14)

где S - множество подпроцессов процесса, соответствующего «Функции», которые реализуются элементами первого уровня декомпозиции, S0 с S - множество интерфейсных подпроцессов, LT с L"1 - множество связей в S, осуществляющих передачу элементов глубинного яруса связанных подпроцессов.

126 НАУЧНЫЕ ВЕДОМОСТИ [5. | Серия Экономика. Информатика.

2016 №2(223). Выпуск 37

Поскольку при записи фактов мы оперируем терминами предметной области, введем в выражение «Функции» УФО-элемента еще одну составляющую - непосредственно имя (обозначение) функции, которое будем также обозначать через F.

Множество S в общем виде можно выразить как:

S , (15)

m=1

где k - число подпроцессов, на которые декомпозируется функция (процесс) УФО-элемента, а S— -

собственно такой подпроцесс.

В свою очередь, S0 можно представить выражением вида:

S0 = S?u S!= (uS- ? ) u (uS;1!), (16)

m=l m=l

где h - число входных интерфейсных подпроцессов, l - число выходных интерфейсных подпроцессов, а S— ? и S-1! - соответственно сами такие подпроцессы.

В контексте записи фактов о предметной области в качестве подпроцессов, обозначаемых символами S, будем использовать «Функции» соответствующих УФО-элементов нижнего уровня (уровня декомпозиции). В формуле также для наглядности заменим символы S, обозначающие подпроцессы, на F - имена их функций. Для формального представления множества LT внутренних

связей необходимо рассмотреть матрицу связей первого уровня декомпозиции, поскольку LT с L-1. Внутренними связями можно считать множество связей:

Lz= L-1\(L-1?u L-1!), (17)

где L-1 ?u L-1! - множество интерфейсных связей.

Таким образом, «функцию» декомпозируемого УФО-элемента в общем виде можно представить с помощью выражения:

F = (F, ¿Fm1, (uF- ?) u (U F- 1!), L-1\(L-1?uL-1!)). (18)

m= m= m=

Правая часть данного равенства и представляет собой характеристику сущности «Декомпозиция» (Decomposition), вводимую для записи фактов о предметной области. Отметим, что последняя составляющая данного выражения будет учтена в момент характеристики связей между УФО-элементами на уровне декомпозиции. Поэтому при записи того факта, что УФО-элемент может быть декомпозирован, нет необходимости дублировать такие факты.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Таким образом, сведения о наличии в УФО-модели декомпозиции УФО-элемента на несколько других взаимосвязанных УФО-элементов могут быть представлены в виде множества фактов, характеризующих отношение «целое-часть» между декомпозируемым УФО-элементом и каждым из УФО-элементов на уровне декомпозиции. Выражение (18) позволяет формализовать представление фактов групп VI и VII классификации, характеризующих декомпозицию и агрегацию УФО-элементов модели.

Систематизируя вышесказанное, можно сделать вывод о том, что формальные средства представления УФО-моделей позволяют извлекать из них определенные сведения в виде набора фактов, необходимых для построения онтологии предметной области средствами языка RDF.

Список литературы References

1. Слободюк А.А., Маторин С.И., Четвериков С.Н. О подходе к созданию онтологий на основе системно-объектных моделей предметной области. // Научные ведомости БелГУ. Серия История. Политология. Экономика. Информатика. - 2013. - № 22 (165) 2013, Выпуск 28/1. - С. 186-195.

Slobodjuk A.A., Matorin S.I., Chetverikov S.N. O podhode k sozdaniju ontologij na osnove sistemno-ob#ektnyh modelej predmetnoj oblasti. // Nauchnye vedomosti BelGU. Serija Istorija. Politologija. Jekonomika. Informatika. - 2013. - № 22 (165) 2013, Vypusk 28/1. - S. 186-195.

2. Слободюк, А.А. Маторин, С.И. О возможности извлечения фактов из УФО-моделей и представлении их с помощью RDF. //Информатика: проблемы, методология, технологии: материалы XIV международной конференции, Воронеж, 6-8 февраля 2014 г.: в 3 т. - Воронеж: Издательско-полиграфический центр Воронежского государственного университета, 2014. - С. 269-273.

Slobodjuk, A.A. Matorin, S.I. O vozmozhnosti izvlechenija faktov iz UFO-modelej i predstavlenii ih s pomoshh'ju RDF. //Informatika: problemy, metodologija, tehnologii: materialy XIV mezhdunarodnoj konferencii, Voronezh, 6-8 fevralja 2014 g.: v 3 t. - Voronezh: Izdatel'sko-poligraficheskij centr Voronezhskogo gosudarstvennogo universiteta, 2014. - S. 269-273.

3. Слободюк, А.А., Маторин, С.И. О применении УФО-подхода для построения онтологий предметных областей // Информатика: проблемы, методология, технологии: материалы XIII международной кон-

ференции, Воронеж, 7-8 февраля 2013 г. - Воронеж: Издательско-полиграфический центр Воронежского государственного университета, 2013.

Slobodjuk, A.A., Matorin, S.I. O primenenii UFO-podhoda dlja postroenija ontologij predmetnyh oblastej // Informatika: problemy, metodologija, tehnologii: materialy HIII mezhdunarodnoj konferencii, Voronezh, 7-8 fevralja 2013 g. - Voronezh: Izdatel'sko-poligraficheskij centr Voronezhskogo gosudarstvennogo universiteta, 2013.

4. OWL Web Ontology Language. Reference. W3C Recommendation : W3C, 10 February 2004, URL: http://www.w3.org/TR/owl-ref/.

5. Toby Segaran, Colin Evans, Jamie Taylor Programming the Semantic Web. — O'Reilly Media, 2009. — 302 с.

6. John Hebeler, Matthew Fisher, Ryan Blace, Andrew Perez-Lopez Semantic Web Programming. — John Wiley & Sons, 2009. — 648 с.

7. Слободюк, А.А. Расширенная классификация фактов, извлекаемых из УФО-модели в целях построения онтологии предметной области. // Шестая международная научно-техническая конференция «Инфокоммуникационные технологии в науке, производстве и образовании» (Инфоком-6): сборник научных трудов, Ставрополь, 21-27 апреля 2014 г.: часть II. - Ставрополь: Северо-Кавказский федеральный университет, 2014. - С. 404-406.

Slobodjuk, A.A. Rasshirennaja klassifikacija faktov, izvlekaemyh iz UFO-modeli v celjah postroenija ontologii predmetnoj oblasti. // Shestaja mezhdunarodnaja nauchno-tehnicheskaja konferencija «Infokommunikacionnye tehnologii v nauke, proizvodstve i obrazovanii» (Infokom-6): sbornik nauchnyh trudov, Stavropol', 21-27 aprelja 2014 g.: chast' II. - Stavropol': Severo-Kavkazskij federal'nyj universitet, 2014. - S. 404-406.

8. Жихарев, А.Г. Формализованное графоаналитическое представление организационных знаний : автореферат дис. ... кандидата технических наук : 05.13.17 / Жихарев Александр Геннадиевич; [Место защиты: Белгород.гос. нац. исслед. ун-т]. - Белгород, 2013. - 22 с.

Zhiharev, A.G. Formalizovannoe grafoanaliticheskoe predstavlenie organizacionnyh znanij : avtoreferat dis. ... kandidata tehnicheskih nauk : 05.13.17 / Zhiharev Aleksandr Gennadievich; [Mesto zashhity: Belgorod.gos. nac. issled. un-t]. - Belgorod, 2013. - 22 s.

9. Гренандер, У. Лекции по теории образов. 1. Синтез образов / пер. с англ. М.: Мир, 1979. — 384 с.

Grenander, U. Lekcii po teorii obrazov. 1. Sintez obrazov / per. s angl. M.: Mir, 1979. — 384 s.

10. Зимовец, О.А. Интеграция средств формализации графоаналитических моделей «Узел-Функция-Объект» / О.А. Зимовец, С.И. Маторин ; НИУ БелГУ // Искусственный интеллект и принятие решений. - 2012. - № 1. С. 95-102.

Zimovec, O.A. Integracija sredstv formalizacii grafoanaliticheskih modelej «Uzel-Funkcija-Ob'ekt» / O.A. Zimovec, S.I. Matorin ; NIU BelGU // Iskusstvennyj intellekt i prinjatie reshenij. - 2012. - № 1. S. 95-102.

11. Маторин С.И., Попов А.С., Маторин В.С. Моделирование организационных систем в свете нового подхода «Узел-Функция-Объект» // НТИ. Сер.2. - 2005. - N1. - С. 1-8.

Matorin S.I., Popov A.S., Matorin V.S. Modelirovanie organizacionnyh sistem v svete novogo podhoda «Uzel-Funkcija-Ob'ekt» // NTI. Ser.2. - 2005. - N1. - S. 1-8.

i Надоели баннеры? Вы всегда можете отключить рекламу.