МЕТОД И МОДЕЛИ РАСШИРЕНИЯ СЕМАНТИКИ ОТНОШЕНИЙ В ОНТОЛОГИИ С ПОМОЩЬЮ ОПИСАНИЯ МАТЕМАТИЧЕСКИХ ЗАВИСИМОСТЕЙ МЕЖДУ ПАРАМЕТРАМИ ОБЪЕКТОВ

Короткий опис

Министерство образования и науки, молодежи и спорта Украины
Харьковский национальный университет радиоэлектроники

На правах рукописи

БЕЛОИВАНЕНКО МАКСИМ ВИКТОРОВИЧ

УДК 004.8

МЕТОД И МОДЕЛИ РАСШИРЕНИЯ СЕМАНТИКИ ОТНОШЕНИЙ В ОНТОЛОГИИ С ПОМОЩЬЮ ОПИСАНИЯ МАТЕМАТИЧЕСКИХ ЗАВИСИМОСТЕЙ МЕЖДУ ПАРАМЕТРАМИ ОБЪЕКТОВ

05.13.23 – системы и средства искусственного интеллекта

Диссертация на соискание ученой степени кандидата технических наук

Научный руководитель:
Терзиян Ваган Яковлевич
доктор технических наук, профессор

Цей примірник дисертації ідентичний за змістом з іншими,
що подані до спеціалізованої вченої ради Д 64.052.01

Учений секретар спецради Д 64.052.01 Литвинова Є.І.

Харьков – 2012

СОДЕРЖАНИЕ

Введение 5
Раздел 1 Исследование методов формального описания математических объектов и постановка задачи исследования 17
1.1 Анализ принципов онтологического представления знаний для описания информационных объектов 17
1.1.1 Анализ способов представления информации в базах знаний 17
1.1.2 Исследование свойств информационного объекта как Web-ресурса 20
1.1.3 Исследование возможностей онтологического описания ресурсов 25
1.2 Анализ математической функции как способа формализации отношения между объектами реального мира 30
1.3 Анализ существующих средств формального описания математических выражений 34
1.4 Постановка задачи исследования 44
Выводы по разделу 1 46
Раздел 2 Разработка модели семантической аннотации математической зависимости 48
2.1 Определение назначения семантической аннотации математической зависимости в онтологических базах знаний 48
2.2 Выбор семантических характеристик математической зависимости 50
2.3 Определение способов представления семантической аннотации информационного ресурса 55
2.4 Модель семантической аннотации математической зависимости 61
2.4.1 Разработка структуры семантической аннотации математической зависимости как внешнего по отношению к системе информационного объекта. 62
2.4.2 Выбор параметров аннотируемой математической зависимости 65
2.4.3 Формирование профиля аннотируемой математической зависимости 67
2.5 Реализация модели семантической аннотации математической зависимости средствами Semantic Web 69
2.6 Пример семантической аннотации математической зависимости для представления взаимосвязанных характеристик объектов 74
2.7 Принципы онтологического инжиниринга при формировании семантического описания математической зависимости 78
Выводы по разделу 2 82
Раздел 3 Разработка метода расширения семантики отношений в онтологии предметной области 84
3.1 Способ расширения модели знаний путем интеграции онтологических структур 84
3.2 Определение принципов включения нового информационного объекта в онтологию предметной области 86
3.3 Метод расширения семантики отношений в онтологии предметной области 90
3.4 Разработка модели интеграции семантической аннотации математической зависимости в онтологию предметной области 96
3.5 Реализация модели интеграции семантической аннотации математической зависимости средствами Semantic Web 101
3.6 Пример интеграции онтологий путем установления связи между характеристиками объектов из разных предметных областей 104
Выводы по разделу 3 108
Раздел 4 Применение разработанных моделей и методов в системах интеллектуальной обработки информации 111
4.1 Онтологический портал менеджмента образовательных и научных ресурсов Украины как гибридная система интеллектуальной обработки данных 111
4.2 Представление математических зависимостей в онтологическом портале менеджмента образовательных и научных ресурсов Украины 116
4.3 Расширение среды моделирования онтологий TopBraid Composer возможностью обработки математических зависимостей 123
Выводы по разделу 4 133
Выводы по диссертационной работе 135
Приложение А. Акты использования и внедрения результатов диссертационной работы 140
Приложение Б. Модель семантического описания математической зависимости, представленная в RDFS-XML-виде 144
Приложение В. Описание математических зависимостей онтологии «Окружность» в Turtle-нотации 146
Приложение Г. Модель интеграции математических зависимостей в онтологию предметной области, представленная в OWL-XML-виде 148
Приложение Д. Результат применения модели интеграции для связи онтологий «Окружность» и «Цветочная клумба» в Turtle-нотации 149
Список использованных источников 152

ВВЕДЕНИЕ

Знания об объектах реального мира, которые описываются в различных информационных средах, представляются при помощи утвержденных W3 консорциумом [1] стандартов – средствами Semantic Web. Наиболее распространенным форматом представления знаний являются онтологии или онтологические базы знаний. Эти формальные модели описывают знания о реальном мире как набор объектов с их семантическими характеристиками, которые могут быть выражены параметрами объектов и связями между ними. На сегодняшний день существует множество технологий, которые позволяют описывать сложные модели взаимодействий между объектами различных предметных областей – это языки RDFS [2] и OWL2 [3], средства языка SWRL [4] и др. Однако, механизмы описания онтологических моделей поддерживают лишь малый диапазон отношений между объектами, который касается формализации логических отношений. Онтологическая модель основывается на описании логических отношений между объектами [5], которые можно представить в виде выражений дескриптивной логики. Такая модель представления знаний о реальном мире не дает возможности описывать отношения, которые не подчиняются логическим законам.
Одним из видов отношений, существующих между объектами реального мира, являются отношения, определяющиеся математическими законами [6]. Такие связи между объектами описываются посредством математических зависимостей, представленных в виде математических выражений [7]. Знание о математических зависимостях между объектами реального мира можно рассматривать как отдельный тип знаний, которые уже некоторым образом формально описаны. Таким образом, их представление средствами Semantic Web позволит создавать некоторое метазнание, которое формально расширит описание семантики связей между объектами предметной области, представленной в виде онтологической модели. Такое расширение происходит за счет раскрытия смысла того, как именно и почему было установлено рассматриваемое отношение. При этом математическое отношение между объектами – это всегда установление математической зависимости между числовыми значениями их характеристик. Само же знание о математических зависимостях определяется как формальное описание их параметров, математических функций, выражающих заданную зависимость и допустимых значений указанных параметров.
Актуальность темы. В информационных средах под онтологией понимают явное формальное представление множества объектов заданной предметной области и связей между ними [8]. Обычно отношения в онтологии представляются посредством организации объектов в таксономию. Таким образом, онтологическая модель представления знаний об объектах некоторой предметной области подразумевает создание набора логических правил, которые описывают взаимодействия заданных объектов через их свойства. Онтологическая модель представления знаний позволяет сохранять числовые характеристики параметров объектов реального мира, которые описываются [9]. Однако возможности описать зависимость между такими параметрами не предоставляется. То есть, при существовании некоторого знания об отношении между числовыми характеристиками объектов в онтологии, которое формально выражено некоторым математическим соотношением, описать его средствами Semantic Web нельзя.
При этом знание о математических зависимостях, существующих между характеристиками объектов онтологии предметной области, может решить ряд существующих в онтологическом инжиниринге проблем. Это, во-первых, проблема проверки целостности и непротиворечивости знаний в онтологии – каждое из числовых значений может быть описано как результат выполнения некоторого математического выражения над существующими в модели значениями характеристик объектов. Во-вторых, это задача получения новых знаний, которая может быть решена путем выполнения процедуры вычислений, согласно знаниям о существующих зависимостях между числовыми характеристиками. Также дополнительно, новыми средствами, может быть решена задача классификации объектов онтологии согласно значениям их параметров.
На сегодняшний день предпринято множество попыток формализации математического знания для его последующего использования в информационных средах, в том числе и в онтологических моделях представления знаний, для более полного описания значения связей между объектами. Предлагаемые технологии в основном направлены на создание аннотаций математических выражений, их параметров и операций, которые выполняются над заданными значениями. Наиболее успешными проектами в данном направлении являются Mizar Language [10], TeX и LaTeX [11], OpenMath [12], MathML [13], OMDoc [14], SWRL [4]. Наибольших успехов в формализации математического знания добились разработчики технологии SWRL, которая является стандартом W3 консорциума. Язык SWRL содержит набор встроенных математических операций Math Built-Ins, которые позволяют производить вычисления над значениями параметров, участвующих в логических конструкциях языка. Новая редакция языка описания Web-онтологий OWL2, которая также стала рекомендацией W3 консорциума, предоставляет механизм описания диапазонов значений, которые могут принимать параметры объектов онтологии, что в свою очередь является математическим знанием о числовых значениях некоторых характеристик [9]. Также эта технология позволяет вычислять числовые значения параметров объектов путем описания и решения линейных уравнений [15]. Разработчики компании TopQuadrant [16] реализовали возможность подключения внешних сервисов, в том числе и сервисов производящих вычисления, к онтологической базе знаний с использованием SPIN-правил [17], построенных на базе SPARQL-запросов, в системе моделирования знаний TopBraid Composer [18]. Кроме того, возможность добавления формул в онтологические модели реализована в виде модуля для среды онтологического моделирования Protégé [19]. Эти технологии предоставляют возможность описывать математические выражения и объекты, которые в них участвуют, и позволяют проводить автоматические вычисления. Однако средства описания семантики зависимостей, того, каким именно образом установлено то или иное отношение, каков его смысл для объектов реального мира, в перечисленных технологиях отсутствуют.
В исследования на тему описания математического знания, как одного из типов знаний об отношениях между объектами, в онтологических моделях наибольший вклад внесли следующие ученые: Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean, Boris Motik, Bijan Parsia, Uli Sattler, Holger Knublauch и другие.
В отличие от ранее предложенных решений относительно описания математического знания об отношениях между объектами онтологической базы знаний, в данной работе рассматривается решение не только задачи вычисления числовых характеристик параметров объектов онтологической модели, но и задачи создания формального описания – аннотирования самого отношения в онтологии и входящих в него параметров, что не может быть реализовано ни одной из рассмотренных технологий описания математического знания.
Связь работы с научными программами, планами, темами. Диссертационная работа выполнялась в соответствии с научно-исследовательским планом кафедры искусственного интеллекта Харьковского национального университета радиоэлектроники. Исследования проводились в рамках следующих госбюджетных тем: №195 «Розробка теоретичних засад, методів та моделей інтелектуальної обробки інформації та менеджменту знань у системах розподіленого штучного інтелекту» (№ ГР 0106U003286), №219 «Розробка Web-орієнтованої системи для підтримки процедур акредитації та ліцензування вищих навчальних закладів України» (№ ГР 0108U010139), №233 «Розробка системи підтримки семантичних запитів до онтологічної бази акредитації і ліцензування» (№ ГР 0109U001647). Также исследования проводились в рамках следующих хоздоговорных тем: международного проекта TEMPUS по реформе высшего образования «Towards Transparent Ontology-Based Accreditation» (SM_SCM-T020B06-2006 UA), проекта для Государственного фонда фундаментальных исследований «Онтологический портал для менеджмента и оценки национальных ресурсов Украины в области образования и науки» (№ Ф15/456-2007), проекта для Министерства образования и науки Украины «Разработка и внедрение распределенной архитектуры онтологического портала Министерства образования и науки Украины для надежного, безопасного и эффективного менеджмента и интеграции образовательных ресурсов Украины» (№ ІТ/543-2009). В рамках указанных тем соискателем были разработаны и предложены модель семантической аннотации математической зависимости, описание семантической аннотации математической зависимости с использованием средств языка RDFS, метод расширения семантики отношений в онтологии предметной области за счет включения в нее знаний о математических зависимостях между объектами, модель интеграции семантической аннотации математической зависимости в онтологическую базу знаний, описание модели интеграции семантической аннотации математической зависимости в онтологию предметной области средствами языка OWL.
Цели и задачи исследования. Целью диссертационной работы является разработка методов и моделей описания математического знания, представленного в форме математической зависимости, усовершенствование онтологических баз знаний путем расширения семантики связей между объектами онтологии на основе знания о математических зависимостях между ними.
В данной диссертационной работе, в соответствии с поставленной целью исследования, решаются следующие задачи:
– анализ основных методов формального описания знаний в виде онтологических баз знаний для их последующей автоматизированной обработки;
– анализ особенностей формального описания математического знания, представленного в виде математической зависимости, как отдельного вида знаний, которые слабо формализованы в онтологических базах знаний; также анализ существующих технологий аннотирования информации, представленной в виде математических выражений;
– разработка модели семантической аннотации математической зависимости, которая описывает такую зависимость как внешний по отношению к онтологии предметной области информационный объект, и использует термины онтологии математических операций;
– разработка формата и процедуры описания семантической аннотации математической зависимости на основе использования средств языка RDFS;
– выявление основных принципов формального описания семантической аннотации математической зависимости;
– разработка метода расширения семантики отношений в онтологии предметной области посредством добавления к описанию отношений знаний о математических зависимостях между объектами онтологии, которые участвуют в заданном отношении;
– создание модели интеграции семантической аннотации математической зависимости в онтологию предметной области как модели расширения онтологии путем добавления в нее новых знаний о связях между объектами предметной области, выраженных математическими отношениями;
– разработка описания интеграции онтологических структур с использованием семантической аннотации математической зависимости и средств языка OWL;
– экспериментальное подтверждение возможности применения разработанных моделей и метода для проведения процедур логического вывода, с учетом включенных в онтологию математических зависимостей, которые описаны при помощи семантических аннотаций, на базе среды разработки онтологических моделей TopBraid Composer.
Объектом исследования является создание формального описания знания об отношениях, которые представлены в виде математических зависимостей, между объектами предметной области в онтологических базах знаний.
Предметом исследования являются методы и модели расширения семантики отношений между объектами онтологии предметной области на основе интеграции в нее семантических аннотаций математических зависимостей с использованием технологий онтологического инжиниринга.
Методы исследования. Основными методами исследования являются методы искусственного интеллекта: теория формальных языков и систем, с помощью которой были формализованы семантические характеристики математической зависимости и процедура ее включения в онтологическую базу знаний; технологии онтологического инжиниринга, с использованием которых были разработаны модель семантической аннотации математической зависимости и модель расширения онтологии предметной области новым знанием об отношении между объектами; технология Semantic Web, с использованием средств которой были реализованы метод формирования семантической аннотации математической зависимости и метод интеграции ее в онтологию предметной области. Экспериментальные исследования проводились в лабораторных условиях и на реальных объектах.
Научная новизна полученных результатов. В процессе решения поставленных в диссертационной работе задач получены следующие научные результаты:
1. Впервые предложена формальная модель семантической аннотации математической зависимости как особого типа знаний, которая содержит в себе семантические характеристики математического выражения и описание средств его реализации в информационном пространстве, а также описывает знания об отношениях между объектами предметной области, представленной в онтологической базе знаний, что позволяет создавать семантические описания внешних по отношению к онтологии информационных объектов, реализующих вычисление математических выражений, в терминах заданной онтологии и интегрировать такие описания в онтологию как математические знания.
2. Впервые предложена формальная модель интеграции нового знания, представленного в виде математического выражения, в онтологию предметной области на основе использования семантической аннотации математической зависимости, которая является связующим звеном между целевой онтологией предметной области и онтологией описания математического знания, что позволяет расширить семантику отношений в онтологии предметной области за счет интеграции формального знания о заданном отношении, которое описано в терминах онтологии математического знания, что в свою очередь создает возможность использовать две интегрируемые онтологии как единое целое, не влияя на их жизненный цикл.
3. Усовершенствован метод расширения семантики отношений между объектами онтологической базы знаний, который основан на методе интеграции онтологических структур – согласовании онтологий, и, в отличие от аналогов, предполагает уточнение семантического описания отношений между объектами онтологической структуры за счет создания системы дополнительных ограничений, описывающих связь между рассматриваемыми объектами, что позволяет описывать объекты одной онтологии в терминах другой, а также обеспечивает возможность интеграции онтологических структур с разными или не пересекающимися контекстами применения.
Практическое значение полученных результатов. Метод и модели расширения семантики отношений в онтологии предметной области с помощью описания математических зависимостей между объектами онтологии являются эффективным средством интеграции в онтологию предметной области формально описанного нового знания, которое расширяет семантические характеристики отношений между объектами онтологии предметной области. Такие методы могут быть использованы при построении интеллектуальных информационных систем, предназначенных для накопления объектов, содержащих числовые характеристики, отношения между которыми устанавливаются на основе зависимостей между значениями заданных характеристик.
Предложенные метод и модели формального описания математического знания нашли свою реализацию при расширении возможностей языков Semantic Web – OWL и RDFS, а также при усовершенствовании возможностей среды онтологического моделирования TopBraid Composer за счет добавления в нее возможности обрабатывать предложенные модели при помощи вычислительных возможностей пакета Mathematica. Это может быть эффективно применено для описания специфических предметных областей, объекты которых характеризуются большим количеством отношений между собой, выраженных в виде математических зависимостей. Такими предметными областями, например, являются математика, физика и другие.
Предложенные метод и модели могут быть использованы для повышения эффективности онтологического инжиниринга и разработки информационных сред, основанных на онтологических моделях знаний. Наиболее актуальным использование предложенных метода и моделей является для следующих областей:
– создание формальных описаний информационных объектов, которые содержат взаимосвязанные числовые характеристики;
– решение задачи проверки целостности и непротиворечивости онтологических баз знаний;
– создание механизмов проверки достоверности информации, данных и знаний, представленных в онтологических базах знаний;
– реализация процедур автоматического приобретения знаний в онтологических системах на основе формально описанных правил взаимодействия между объектами, представленными в онтологии.
Результаты диссертационной работы внедрены в информационно-аналитическую систему хранения статистической информации ООО «ИА «Интерфакс-Украина»; в учебный процесс кафедры искусственного интеллекта Харьковского национального университета радиоэлектроники по дисциплинам «Интеллектуальные технологии в Internet», «Системы распределенного искусственного интеллекта»; в госбюджетные темы: №195 «Розробка теоретичних засад, методів та моделей інтелектуальної обробки інформації та менеджменту знань у системах розподіленого штучного інтелекту» (№ ГР 0106U003286), №219 «Розробка Web-орієнтованої системи для підтримки процедур акредитації та ліцензування вищих навчальних закладів України» (№ ГР 0108U010139), №233 «Розробка системи підтримки семантичних запитів до онтологічної бази акредитації і ліцензування» (№ ГР 0109U001647), что подтверждается соответствующими актами внедрения (приложение А).
Личный вклад соискателя в работы, опубликованные в соавторстве. Все результаты, которые выносятся на защиту, получены соискателем лично. В работах, опубликованных в соавторстве, соискателю принадлежат:
 в [20] – процедуры вычисления параметров онтологии для автоматизированного формирования семантической аннотации документов семантического репозитория, интеграция онтологического портала и семантического репозитория на основе использования семантической аннотации документов репозитория;
 в [21] – интеграция онтологической систем с внешними Web-сервисами, на основе которой обеспечивается возможность обработки данных одновременно из нескольких онтологических моделей, концепция семантического реопзитория для интеграции онтологической базы знаний и внешних информационных ресурсов;
 в [22] – методологии функционального распределения ресурсов в онтологической системе и распределения информационной системы на уровне ресурсов с учетом характера отношений между ними, метод расширения семантики отношений в онтологии предметной области;
 в [23] – модель формального описания ресурсов семантического репозитория, онтология ресурсов документооборота в семантическом репозитории;
 в [24] – разработка концепции системы хранения, классификации и поиска научных статей с возможностью описания хранимой информации в XML-формате;
 в [25] – архитектура системы управления информационными ресурсами с их семантическим описанием в виде RDF-модели, разработка интерфейса взаимодействия системы с интеллектуальными агентами с использованием машины логического вывода, основанной на логике OWL.
Апробация результатов диссертации. Основные положения и результаты диссертационной работы были представлены, докладывались, обсуждались на международных научно-технических конференциях, международном молодежном форуме:
 на 8-м международном форуме «Радиоэлектроника и молодежь в 21 веке». Харьков: ХНУРЭ (Харьков, Украина, 2004 г.);
 на 12-м Международном молодежном форуме «Радиоэлектроника и молодежь в ХХІ веке» (Харьков, Украина, 2008 г.);
 на 11-й Международной научно-технической конференции «Системный анализ и информационные технологии» (Киев, Украина, 2009 г.);
 на 6-ой Международной научно-практической конференции «Наука и социальные проблемы общества: информатизация и информационные технологии» (Харьков, Украина, 2011 г.).
Публикации. По теме диссертации издано 10 научных публикаций: 6 статей (2 единолично) в научных специализированных изданиях Украины и 4 публикации (2 единолично) в сборниках научных трудов, материалах, тезисах докладов международных научно-технических конференций и форумах.

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

ВЫВОДЫ ПО ДИССЕРТАЦИОННОЙ РАБОТЕ

В диссертационной работе был поставлен и решен ряд научно-практических задач с целью создания метода и моделей расширения семантики отношений между объектами онтологии предметной области.
Решение научно-практических задач, которые предполагали аналитический анализ объекта и предмета исследования, заключалось в следующем:
– был проведен анализ основных методов формального описания знаний в виде онтологических баз знаний для их последующей автоматизированной обработки, результатом чего было установлено, что онтологические базы знаний не предоставляют возможности устанавливать такие зависимости между объектами, которые подчиняются законам математички;
– был проведен анализ особенностей формального описания математического знания, представленного в виде математической зависимости, как отдельного вида знаний, которые слабо формализованы в онтологических базах знаний, в результате чего были выявлены принципы формализации математического знания для последующего его представления в онтологических базах знаний;
– осуществлен анализ существующих технологий аннотирования информации, представленной в виде математических выражений, благодаря чему были выявлены и описаны основные направления в формализации математического знания средствами различных информационных технологий.
На основе проведенного анализа для решения научно-практической задачи расширения семантики отношений в онтологии предметной области при помощи описания математических зависимостей межу параметрами объектов онтологической базы знаний, было предложено взять за основу интеграцию онтологических структур – как способ расширения онтологии путем включения в нее новых знаний.
Решение поставленных в работе задач позволило получить следующие основные научно-технические результаты:
1. Разработана новая формальная модель семантической аннотации математической зависимости. При создании данной модели были выявлены семантические характеристики математического выражения, которое описывает рассматриваемую зависимость. Выявленные семантические характеристики математической зависимости описываются при помощи стандартов Semantic Web в терминах онтологии, в которую будет интегрирована заданная семантическая аннотация. Такая семантическая аннотация позволяет описать дополнительное знание об отношении между объектами онтологии. Включение данной аннотации в онтологию предметной области позволяет расширять семантику отношений между объектами.
2. Предложена формальная модель интеграции нового знания, представленного в виде математического выражения, в онтологию предметной области на основе использования семантической аннотации математической зависимости, которая является связующим звеном между целевой онтологией предметной области и онтологией описания математического знания. Применение данной модели дает возможность использовать две интегрированные онтологии как единой целое, не влияя на их жизненный цикл. Модель интеграции сопоставляет множество семантических аннотаций, которые находятся в контексте описанной в заданной онтологии предметной области, и множество продукционных правил, которые устанавливают соответствия между объектами двух онтологий. Также модель интеграции включает спецификацию ограничений на применение аннотаций математических зависимостей в контексте онтологии предметной области, которые могут быть использованы для проверки целостности и контроля непротиворечивости данных в онтологической модели.
3. Усовершенствован метод расширения семантики отношений между объектами онтологической базы знаний, который основан на методе интеграции онтологических структур – согласовании онтологий. Предложенный метод, в отличие от аналогов, предполагает уточнение семантического описания отношений между объектами онтологической структуры за счет создания системы дополнительных ограничений, описывающих связь между рассматриваемыми объектами, что позволяет описывать объекты одной онтологии в терминах другой, а также обеспечивает возможность интеграции онтологических структур с разными или не пересекающимися контекстами применения. Метод расширения семантики отношений в онтологии предметной области предполагает создание и реализацию средствами Semantic Web модели интеграции, которая описывает, каким именно образом происходит включение семантической аннотации математической зависимости в онтологию предметной области. Такая интеграция происходит посредством установления дополнительных ограничений на значения параметров объектов, которые участвуют в заданном отношении.
Практическая реализация предложенных метода и моделей представлена как расширение возможностей языков Semantic Web – OWL и RDFS. Такое расширение было реализовано путем создания новых классов и свойств указанных стандартов, которые предназначены для реализации формального описания семантической аннотации математической зависимости и интеграции такой аннотации в онтологию предметной области. Также реализация предложенных метода и моделей нашла свою реализацию при усовершенствовании возможностей среды онтологического моделирования TopBraid Composer за счет добавления в нее возможности обрабатывать предложенные модели при помощи вычислительных возможностей пакета Mathematica. Практическая реализация предложенных метода и моделей может быть эффективно применена для описания специфических предметных областей, объекты которых характеризуются большим количеством отношений между собой, выраженных в виде математических зависимостей.
При решения поставленных научно-практических задач были выявлены принципы семантического аннотирования математических выражений, как формального описания особого типа знаний – математических знаний, которые описывают при помощи математического аппарата знания о взаимодействии объектов реального мира. Установлено, что предложенная семантическая аннотация и процедура ее создания удовлетворяют общим принципам онтологического инжиниринга.
Разработанный подход к расширению семантики отношений в онтологии предметной области предполагает осуществление возможности интеграции онтологических моделей, не требующей модификации заданных онтологий, и обеспечивающей их дальнейшее взаимодействии на протяжении всего жизненного цикла. Такой подход основан на использовании семантической аннотации математической зависимости как связующего звена между онтологией предметной области и онтологией, которая содержит описание математических объектов и зависимостей. В этом случае каждая семантическая аннотация расширяет знание о взаимосвязи между объектами в онтологии предметной области, используя знания, которые представлены в онтологии математических объектов и выражений.
Результаты данной диссертационной работы внедрены в учебном процессе Харьковского национального университета радиоэлектроники, на кафедре искусственного интеллекта в рамках учебных дисциплин «Интеллектуальные технологии в Internet» и «Распределенные системы искусственного интеллекта». Также результаты работы были использованы при выполнении госбюджетных тем:
– №195 «Розробка теоретичних засад, методів та моделей інтелектуальної обробки інформації та менеджменту знань у системах розподіленого штучного інтелекту»;
– №219 «Розробка Web-орієнтованої системи для підтримки процедур акредитації та ліцензування вищих навчальних закладів України»;
– №233 «Розробка системи підтримки семантичних запитів до онтологічної бази акредитації і ліцензування».
Также результаты работы были использованы для построения информационно-аналитической системы хранения статистической информации ООО «ИА «Интерфакс-Украина».
Разработку расширения семантики отношений в онтологии предметной области с помощью описания математических зависимостей между объектами рекомендуется продолжить в следующих направлениях:
1. Рассмотреть возможность описания такого типа отношений, которые устанавливаются между объектами посредством математических неравенств и систем неравенств.
2. Рассмотреть возможность преобразования метода расширения семантики отношений между объектами онтологии предметной области с учетом возможностей новой спецификации языка OWL2.
3. Разделить семантические отношения в онтологии предметной области на два типа – отношения между классами онтологии и отношения между свойствами классов онтологии. Уточнить специфику расширения каждого из типов отношений в соответствие с их семантикой.
4. Рассмотреть возможность альтернативной модели интеграции онтологии предметной области и онтологии, которая описывает математические объекты, с учетом семантики отношений, которые наблюдаются между объектами интегрируемых онтологий.
5. Разработать метод для точной интерпретации математических зависимостей, которые включаются в онтологию предметной области с целью расширения семантики отношений между ее объектами, и его автономную программную реализацию.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. The World Wide Web Consortium (W3C). [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/ – 24.04.2012 г. – Загл. с экрана.
2. RDF Semantics. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ – 24.04.2012 г. – Загл. с экрана.
3. OWL 2 Web Ontology Language. Document Overview. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/2009/REC-owl2-overview-20091027/ – 24.04.2012 г. – Загл. с экрана.
4. SWRL: A Semantic Web Rule Language. Combining OWL and RuleML. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/Submission/SWRL/ – 24.04.2012 г. – Загл. с экрана.
5. OWL 2 Web Ontology Language. Direct Semantics. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/owl2-direct-semantics/ – 24.04.2012 г. – Загл. с экрана.
6. Белоиваненко М.В. Семантическая аннотация математической функции в системах интеллектуальной обработки информации. [Текст] / М.В. Белоиваненко // Бионика интеллекта. – 2011. – Вып. 1(75). – С. 66-69.
7. Белоиваненко М.В. Реализация алгебраических выражений в онтологическом портале МОНУ. [Текст] / М.В. Белоиваненко // Материалы 12-го международного форума «Радиоэлектроника и молодежь в 21 веке». – Харьков, ХНУРЭ, 2008. – С. 190.
8. Gruber T.R. A Translation Approach to Portable Ontology Specifications. [Текст] / T.R. Gruber // Knowledge Acquisition. – 1993. – 5(2). – P. 199-220.
9. OWL 2 Web Ontology Language. Structural Specification and Functional-Style Syntax. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/owl2-syntax/ – 24.04.2012 г. – Загл. с экрана.
10. Mizar Language. [Электронный ресурс] / Режим доступа: www/ URL: http://mizar.org/language/ – 24.04.2012 г. – Загл. с экрана.
11. LaTeX – A document preparation system. [Электронный ресурс] / Режим доступа: www/ URL: http://www.latex-project.org/ – 24.04.2012 г. – Загл. с экрана.
12. The OpenMath Standard. [Электронный ресурс] / Режим доступа: www/ URL: http://www.openmath.org/standard/index.html – 24.04.2012 г. – Загл. с экрана.
13. W3C MathML. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/Math/ – 24.04.2012 г. – Загл. с экрана.
14. OMDoc Portal. [Электронный ресурс] / Режим доступа: www/ URL: http://www.omdoc.org/ – 24.04.2012 г. – Загл. с экрана.
15. OWL 2 Web Ontology Language. Data Range Extension: Linear Equations. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/owl2-dr-linear/ – 24.04.2012 г. – Загл. с экрана.
16. TopQuadrant. A Semantic Ecosystem. [Электронный ресурс] / Режим доступа: www/ URL: http://www.topquadrant.com/ – 24.04.2012 г. – Загл. с экрана.
17. SPIN – Modeling Vocabulary. [Электронный ресурс] / Режим доступа: www/ URL: http://spinrdf.org/spin.html – 24.04.2012 г. – Загл. с экрана.
18. Products – TopBraid Composer. [Электронный ресурс] / Режим доступа: www/ URL: http://www.topquadrant.com/products/TB_Composer.html – 24.04.2012 г. – Загл. с экрана.
19. The Protégé Ontology Editor and Knowledge Acquisition System. [Электронный ресурс] / Режим доступа: www/ URL: http://protege.stanford.edu/ – 24.04.2012 г. – Загл. с экрана.
20. Рябова Н.В. Прототип семантического репозитория документов распределенного онтологического портала. [Текст] / Н.В. Рябова, А.Ю. Шевченко, М.В. Головянко, Н.А. Волошина, А.А. Воскобойникова, М.В. Белоиваненко // Восточно-Европейский журнал передовых технологий. – Харьков, 2012. – Вып. 4/2(58). С. 56-62.
21. Рябова Н.В. Разработка обобщенной аппаратно-программной архитектуры распределенной версии онтологического портала. [Текст] / Н.В. Рябова, А.Ю. Шевченко, М.В. Головянко, Н.А. Волошина, О.В. Шубкина, А.А. Воскобойникова, М.В. Белоиваненко // Восточно-Европейский журнал передовых технологий. – Харьков, 2012. – Вып. 3/11(57). – С. 42-50.
22. Білоіваненко М.В., Воскобойникова Г.А. Розробка концепції розподілення інформаційної системи, яка побудована на онтологічній базі знань. [Текст] / М.В. Білоіваненко, Г.А. Воскобойникова // Системи обробки інформації. – Харків, 2010. – Вип. 1(82). – С. 2-7.
23. Рябова Н.В., Шевченко О.Ю. та ін. Розробка прототипу семантичного репозиторію документів з можливістю контролю версій та його інтеграція з розподіленим онтологічним порталом менеджменту освітніх та наукових ресурсів МОН України. [Текст] / Н.В. Рябова, О.Ю. Шевченко, Г.А. Воскобойникова, М.В. Головянко, Н.О. Волошина, О.В. Шубкіна // Інформаційні технології в освіті. – Херсон, 2010. – Вип. 7. – С. 117-126.
24. Бачевский А.А., Белоиваненко М.В. Перспективы развития систем накопления и обработки информации. [Текст] / А.А. Бачевский, М.В. Белоиваненко // Материалы 8-го международного форума «Радиоэлектроника и молодежь в 21 веке». – Харьков, ХНУРЭ, 2004. – С. 64.
25. Белоиваненко М.В., Шаламов М.А. Онтологический подход в системах управления Web-контентом. [Текст] / М.В. Белоиваненко, М.А. Шаламов // Материалы 11-й международной научной конференции “Системный анализ и информационные технологии”. – Киев, НТУ “КПI”, 2009. – С. 265.
26. Пантелеев М.Г. Концепция семантического Web и интеллектуальные агенты. [Электронный ресурс] / Режим доступа: www/ URL: http://icc.mpei.ru/documents/00000838.pdf – 24.04.2012 г. – Загл. с экрана.
27. Дейт К. Дж. Введение в системы баз данных. [Текст] / К. Дж. Дейт. – М.: Издательский дом «Вильямс», 2001. – 1072 с.
28. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. [Текст] / Т.А. Гаврилова, В.Ф. Хорошевский. – СПб: Питер, 2000. – 385с.
29. Архитектура современной информационно-аналитической системы. [Электронный ресурс]. / Режим доступа: www/ URL: http://citforum.ru/consulting/BI/ias/ – 24.04.2012 г. – Загл. с экрана.
30. Аналитические системы. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.ulyssys.com/i/lng.ru/page.analiticsystems – 24.04.2012 г. – Загл. с экрана.
31. Гаврилова Т.А. Онтологический инжиниринг. [Электронный ресурс] / Т.А. Гаврилова. – БИГ-Петербург // Режим доступа: www/ URL: http://www.big.spb.ru/publications/bigspb/km/ontolog_engeneering.shtml – 24.04.2012 г. – Загл. с экрана.
32. Стандартизация как база знаний на основе онтологий. [Электронный ресурс] / Т.А. Гаврилова. – БИГ-Петербург // Режим доступа: www/ URL: http://quality.eup.ru/STANDART/stand_baza.htm – 24.04.2012 г. – Загл. с экрана.
33. Сухов С.В. Онтология управления организациями. [Электронный ресурс] / Т.А. Гаврилова. – БИГ-Петербург // Режим доступа: www/ URL: http://referent.mubint.ru/8/2386 – 24.04.2012 г. – Загл. с экрана.
34. Управление знаниями. Методы инженерии знаний. [Электронный ресурс] / Т.А. Гаврилова. – БИГ-Петербург // Режим доступа: www/ URL: https://sites.google.com/site/upravlenieznaniami/inzeneria-znanij/sredstva-inzenerii-znanij – 24.04.2012 г. – Загл. с экрана.
35. Information as an Object. Peter Van Garderen. [Электронный ресурс] / Режим доступа: www/ URL: http://archivemati.ca/2007/02/05/information-as-an-object/ – 24.04.2012 г. – Загл. с экрана.
36. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. [Текст] / Г. Буч. – М.: «Издательство Бином», СПб.: «Невский диалект», 2001. – 560 с.
37. Berners-Lee T., Hendler J., Lassila O. The Semantic Web. A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. [Электронный ресурс]. / T. Berners-Lee, J. Hendler, O. Lassila. – Scientific American: Feature Article: The Semantic Web, 2001. // Режим доступа: www/ URL: http://www.jeckle.de/files/tblSW.pdf – 24.04.2012 г. – Загл. с экрана.
38. Рассел С., Норвиг П. Искусственный интеллект; современный подход. [Текст] / С. Рассел, П. Норвиг. – М. : Издательский дом «Вильямс», 2007. – 1408 с.
39. Аннотация – Большая советская энциклопедия. [Электронный ресурс] / Режим доступа: www/ URL: http://slovari.yandex.ru/~книги/БСЭ/Аннотация/ – 24.04.2012 г. – Загл. с экрана.
40. Дунаев Д.А., Маслов С.Г. Метаинформация как разновидность проецирования электронного издания. [Электронный ресурс]. / Режим доступа: www/ URL: http://ulm.uni.udm.ru/~didal/about/publication/289-298.pdf – 24.04.2012 г. – Загл. с экрана.
41. Мета-тег. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.webeffector.ru/wiki/Мета-тег – 24.04.2012 г. – Загл. с экрана.
42. Web 3.0 – перспективные идеи. [Электронный ресурс]. / Режим доступа: www/ URL: http://article.techlabs.by/50_1425_2.html – 24.04.2012 г. – Загл. с экрана.
43. W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.w3.org/TR/xmlschema11-1/ – 24.04.2012 г. – Загл. с экрана.
44. RDF Vocabulary Description Language 1.0: RDF Schema. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.w3.org/TR/rdf-schema/ – 24.04.2012 г. – Загл. с экрана.
45. Современные технологии в информационном обеспечении науки. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.benran.ru/Magazin/cgi-bin/Sb_03/pr03.exe?!19 – 24.04.2012 г. – Загл. с экрана.
46. RDF/A Syntax. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.w3.org/2001/sw/BestPractices/HTML/2005-rdfa-syntax – 24.04.2012 г. – Загл. с экрана.
47. Микроформаты: Что это и как ими пользоваться? [Электронный ресурс]. / Режим доступа: www/ URL: http://designformasters.info/posts/microformats-what-they-are-and-how-to-use-them/ – 24.04.2012 г. – Загл. с экрана.
48. SHOE. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.cs.umd.edu/projects/plus/SHOE/index.html – 24.04.2012 г. – Загл. с экрана.
49. Качала В.В. Основы теории систем и системного анализа. [Текст] / В.В. Качала. – М.: Горячая линия – Телеком, 2007. – 216 с.
50. Люгер Д.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем. [Текст] / Д.Ф. Люгер – М.: Издательский дом «Вильямс», 2003. – 864 с.
51. Константинова Н.С. Практические аспекты разработки онтологий. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.ict.edu.ru/vconf/files/10375.pdf – 24.04.2012 г. – Загл. с экрана.
52. OWL Web Ontology Language. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/owl-ref/ – 24.04.2012 г. – Загл. с экрана.
53. Horrocks I. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. [Текст] / I. Horrocks, P. F. Patel-Schneider, F. van Harmelen // Journal of Web Semantics. – 2003. – 1(1). – P. 7-26.
54. OWL Web Ontology Language Guide. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.w3.org/TR/2004/REC-owl-guide-20040210/ – 24.04.2012 г. – Загл. с экрана.
55. OWL Web Ontology Language Overview. [Электронный ресурс]. / Режим доступа: www/ URL: http://www.w3.org/TR/2004/REC-owl-features-20040210/ – 24.04.2012 г. – Загл. с экрана.
56. Виттих В.А., Волхонцев Д.В., Гинзбург А.Н. Распределенные онтологии и их применение в решении задач интеграции данных. [Электронный ресурс] / Режим доступа: http://www.kg.ru/?page_id=170 – 24.04.2012 г. – Загл. с экрана.
57. Кузнецов О.П., Суховеров В.С., Шипилина Л.Б. Онтология как систематизации научных знаний: структура, семантика, задачи. [Электронный ресурс] / Режим доступа: http://cmm.ipu.ru/proc/Кузнецов %20О.П.,%20Суховеров%20В.С.,%20Шипилина%20Л.Б.%20.pdf – 24.04.2012 г. – Загл. с экрана.
58. Функциональная зависимость – Философский словарь И.Т. Фролова. [Электронный ресурс] / Режим доступа: http://filosof.historic.ru/enc/item/f00/s12/ a001230.shtml – 24.04.2012 г. – Загл. с экрана.
59. Курант Р., Роббинс Г. Что такое математика? [Текст]. / Р. Курант, Г. Роббинс. – М.: МЦНМО, 2001. – 568 с.
60. Хаггарти Р. Дискретная математика для программистов. [Текст] / Р. Хаггарти. – М.: Техносфера, 2003. – 320 с.
61. Пухначов Ю.В., Попов Ю.П. Учись применять математику. [Текст] / Ю.В. Пухначов, Ю.П. Попов. – М.: Издательство «Знание», 1977. – 144 с.
62. Клайн М. Математика. Поиск истины. [Текст]. / М. Клайн. – М.: Мир, 1988. – 295 с.
63. Mizar Light for HOL Light. [Электронный ресурс] / Режим доступа: www/ URL: http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/ Mizar4/en_wframe/chapter2.html – 04.05.2012 г. – Загл. с экрана.
64. Котельников И.А., Чеботарев П.З. LaTeX по-русски. [Текст]. / И.А. Котельников, П.З. Чеботарев. – Новосибирск: Сибирский хронограф, 2004. – 496 с.
65. TeX and LaTeX. [Электронный ресурс] / Режим доступа: www/ URL: http://www.uic.edu/depts/accc/software/tex/index.html – 04.05.2012 г. – Загл. с экрана.
66. Макропакет LaTeX. [Электронный ресурс] / Режим доступа: www/ URL: http://www.machinelearning.ru/wiki/index.php?title=LaTeX – 04.05.2012 г. – Загл. с экрана.
67. Diaz A., Motz R., Rohrer E. Making Ontology Relationships Explicit in a Ontology Network. [Электронный ресурс] / Режим доступа: http://ceur-ws.org/Vol-749/paper14.pdf – 04.05.2012 г. – Загл. с экрана.
68. Freitas F., Lins F. The Limitations of Description Logic for Mathematical Ontologies. [Электронный ресурс] / Режим доступа: http://ceur-ws.org/Vol-938/ontobras-most2012_paper7.pdf – 04.05.2012 г. – Загл. с экрана.
69. Gaifman H. On Ontology and Realism in Mathematics. [Электронный ресурс] / Режим доступа: http://www.columbia.edu/~hg17/On%20Ontology%20and %20Realism%20in%20Mathematics-12-04-final.pdf – 04.05.2012 г. – Загл. с экрана.
70. Функциональное отношение – Толковый словарь по психологии А.Ребера. [Электронный ресурс] / Режим доступа: http://vocabulary.ru/dictionary/487/word/funkcionalnoe-otnoshenie – 04.05.2012 г. – Загл. с экрана.
71. Черный ящик – Философский словарь И.Т. Фролова. [Электронный ресурс] / Режим доступа: http://www.edudic.ru/fil/175/ – 04.05.2012 г. – Загл. с экрана.
72. Popov B., Kiryakov A., Kirilov A., Manov D., Ognyanoff D. KIM – Semantic Annotation Platform. [Электронный ресурс] / Режим доступа: http://www.ontotext.com/sites/default/files/publications/KIM_SAP_ISWC168.pdf – 04.05.2012 г. – Загл. с экрана.
73. Новицкий А.В. Подход к построению сервис-ориентированной электронной библиотеки в Semantic Web. [Электронный ресурс] / Режим доступа: http://rcdl.ru/doc/2008/392_396_paper49.pdf – 04.05.2012 г. – Загл. с экрана.
74. DCMI Metadata Terms. [Электронный ресурс] / Режим доступа: http://dublincore.org/documents/dcmi-terms/ – 04.05.2012 г. – Загл. с экрана.
75. Общие форматы метаданных. Dublin Core. [Электронный ресурс] / Режим доступа: http://www.elbib.ru/index.phtml?env_page=methodology/metadata/ md_review/md_descrip_general.html – 04.05.2012 г. – Загл. с экрана.
76. Web Services Description Language (WSDL). [Электронный ресурс] / Режим доступа: http://www.w3.org/TR/wsdl – 04.05.2012 г. – Загл. с экрана.
77. Semantic Annotations for WSDL and XML Schema (SAWSDL). [Электронный ресурс] / Режим доступа: http://www.w3.org/TR/sawsdl/ – 04.05.2012 г. – Загл. с экрана.
78. What is Modular Programming? [Электронный ресурс] / Режим доступа: http://www.techopedia.com/definition/25972/modular-programming – 04.05.2012 г. – Загл. с экрана.
79. Лукашевич Н.В. Два основных подхода к построению онтологии. [Электронный ресурс] / Режим доступа: http://like-money.ru/stati/176-dva-osnovnyx-podxoda-k-postroeniyu-ontologii – 04.05.2012 г. – Загл. с экрана.
80. Gruber T.R. Toward Principles for the Design of Ontologies Used for Knowledge Sharing. [Электронный ресурс] / Режим доступа: http://tomgruber.org/writing/onto-design.pdf – 04.05.2012 г. – Загл. с экрана.
81. Интеграция – Философский энциклопедический словарь Л.Ф. Ильчева. [Электронный ресурс] / Режим доступа: http://vocabulary.ru/dictionary/2/word/integracija – 04.05.2012 г. – Загл. с экрана.
82. Хромин А.А. Эволюция моделирования знаний: на пути к интеграции. [Электронный ресурс] / Режим доступа: http://www.structuralist.narod.ru/articles/ kmevolution.htm – 08.05.2012 г. – Загл. с экрана.
83. Ломов П.А., Шишаев М.Г. Интеграция онтологий с использованием тезауруса для осуществления семантического поиска. [Электронный ресурс] / Режим доступа: http://crider.rork.ru/download/papers/3_integration_in_tezayrus.pdf – 08.05.2012 г. – Загл. с экрана.
84. Скворцов Н.А. Вопросы согласования неоднородных онтологических моделей и онтологических контекстов. [Электронный ресурс] / Режим доступа: http://synthesis.ipi.ac.ru/synthesis/publications/08onto-hetont/08onto-hetont.pdf – 08.05.2012 г. – Загл. с экрана.
85. Карпенко А.П., Сухарь Р.С. Методы отображения онтологий. Обзор. [Электронный ресурс] / Режим доступа: http://technomag.edu.ru/doc/115931.html – 08.05.2012 г. – Загл. с экрана.
86. Рубашкин В.Ш. Онтологии: от информационно-поисковых тезаурусов к инженерии знаний. [Электронный ресурс] / Режим доступа: http://rudocs.exdat.com/docs/index-428051.html – 08.05.2012 г. – Загл. с экрана.
87. Интеграция: синтаксис и семантика. [Электронный ресурс] / Режим доступа: http://www.osp.ru/os/2009/10/11170978/ – 08.05.2012 г. – Загл. с экрана.
88. Хитрова Т.И. Интеграция информационных ресурсов. [Электронный ресурс] / Режим доступа: http://strategy.isea.ru/files/s1/68_hitrova%20TI.pdf – 08.05.2012 г. – Загл. с экрана.
89. Преимущества семантической интеграции. [Электронный ресурс] / Режим доступа: http://www.ultimeta.ru/technologies/semantic/advantages.html – 08.05.2012 г. – Загл. с экрана.
90. Онтологические модели представления знаний. [Электронный ресурс] / Режим доступа: http://portal.tpu.ru/SHARED/y/YVZ/work/Tab1/lec-4.ppt – 08.05.2012 г. – Загл. с экрана.
91. Основные принципы онтологического анализа. [Электронный ресурс] / Режим доступа: http://www.itstan.ru/funk-strukt-analiz/osnovnye-principy-ontologicheskogo-analiza.html – 08.05.2012 г. – Загл. с экрана.
92. Скворцов Н.А. Связывание объектных спецификаций по семантике онтологического уровня. [Электронный ресурс] / Режим доступа: http://rcdl.ru/doc/2006/paper_99_v1.pdf – 08.05.2012 г. – Загл. с экрана.
93. Белоиваненко М.В. Модель интеграции семантической аннотации математической зависимости в онтологические базы знаний [Текст] / М.В. Белоиваненко // Восточно-Европейский журнал передовых технологий. – Харьков, 2012. – Вып. 2/2(56). С. 54-57.
94. Онтологии в системах поддержки принятия оперативных решений: практические аспекты. [Электронный ресурс] / Режим доступа: http://ontology.ipi.ac.ru/files/e/eb/Levashova.ppt – 08.05.2012 г. – Загл. с экрана.
95. Lawson T. A Conception of Ontology. [Электронный ресурс] / Режим доступа: http://www.csog.group.cam.ac.uk/A_Conception_of_Ontology.pdf – 08.05.2012 г. – Загл. с экрана.
96. Kalinichenko L., Schiappelli F. Ontological Modeling. [Электронный ресурс] / Режим доступа: http://synthesis.ipi.ac.ru/synthesis/publications/ontomodeling/ ontomodeling.pdf – 08.05.2012 г. – Загл. с экрана.
97. Онтология анализа данных. [Электронный ресурс] / Режим доступа: http://www.basegroup.ru/library/methodology/ontology/ – 08.05.2012 г. – Загл. с экрана.
98. Ландэ Д.В. Семантический веб: от идеи – к технологии. [Электронный ресурс] / Режим доступа: http://poiskbook.kiev.ua/sw.html – 08.05.2012 г. – Загл. с экрана.
99. Колесников А.В. Гибридные интеллектуальные системы: Теория и технология разработки [Текст] / Колесников А.В. – СПб.: Издательство СПбГТУ, 2001. — 711 с.
100. Гаврилов А.В., Новицкая Ю.В. Гибридные интеллектуальные системы. [Электронный ресурс] / Режим доступа: http://ermak.cs.nstu.ru/ist2003/papers/ gavrilov_novitskaya.pdf – 08.05.2012 г. – Загл. с экрана.
101. Витько А.В., Волкова В.В., Сасунов С.С. Онтологический подход к менеджменту ресурсов вузов для поддержки процедур аккредитации и лицензирования. [Текст] / А.В. Витько, В.В. Волкова, С.С. Сасунов // Восточно-Европейский журнал передовых технологий. – Харьков, 2006. – Вып. 5/2(23). – C. 95-98.
102. Методичні вказівки з менеджменту ресурсів з використанням онтологічного Web-порталу. [Текст] / Упоряд.: В.Я. Терзіян, О.Б. Кайкова, М.В. Климова, О.Ю. Шевченко, М.В. Білоіваненко, О.В. Вітько. – Харків, ХНУРЕ, 2008. – 40 с.
103. Онтологічний портал менеджменту та оцінки національних ресурсів України в галузі освіти та науки. [Электронный ресурс] / Режим доступа: www/ URL: http://ailab.kture.kharkov.ua/site/ – 08.05.2012 г. – Загл. с экрана.
104. SPARQL Query Language. [Электронный ресурс] / Режим доступа: www/ URL: http://www.w3.org/TR/rdf-sparql-query/ – 08.05.2012 г. – Загл. с экрана.
105. Apache Jena. [Электронный ресурс] / Режим доступа: www/ URL: http://jena.apache.org/ – 08.05.2012 г. – Загл. с экрана.
106. Wolfram Mathematica. [Электронный ресурс] / Режим доступа: www/ URL: http://www.wolfram.com/mathematica/ – 08.05.2012 г. – Загл. с экрана.