Новицький О. В. Моделі та методи вдосконалення електронних бібліотек засобами семантичного вебу

Досліджено зміст поняття ЕБ, проаналізовано різні погляди щодо визначення класичної ЕБ. Зроблено класифікацію ЕБ за архітектурними ознаками. Визначено діалекти ДЛ, необхідні для викладення результатів у подальшому. В результаті аналізу ПО виявлено класифікаційні ознаки для виділення базових сервісів СЕБ. Виділено набір базових сервісів для СЕБ та формально їх описано, показано, що запропонований набір сервісів через композицію може задовольнити інформаційні потреби користувачів. Запропоновано формальну модель анотації інформаційного об'єкта (ІО) для СЕБ. Удосконалена формальна модель анотації на основі потокової моделі ІО для СЕБ, дозволяє будувати анотаційні взаємозв’язки на основі стандартів URL, DOI та URI. Також розглянуто деякі задачі з проблематики інтеграції даних та переходу класичних ЕБ до СЕБ. Запропоновано механізм відображення традиційної реляційної БД, що використовується в класичних ЕБ, в моделі зв'язаних даних у контексті СЕБ. Розроблено метод формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення UML 2.0 в OWL-DL через ДЛ. Для СЕБ актуальною проблемою є проектування ІО, тому спроектовано модель ІО для СЕБ засобами UML. Запропоновано числові метрики оцінювання якості семантичних ЕБ у веб-середовищі та введено формальну оцінку зручності використання сервісів семантичних ЕБ.