Технологии Semantic Web Наталья Геннадьевна Кеберле старш. преп. каф. ИТ, kenga@zsu.zp.ua, kenga@email.zp.uakenga@zsu.zp.uakenga@email.zp.ua. - презентация

1 Технологии Semantic Web Наталья Геннадьевна Кеберле старш. преп. каф. ИТ,

2 Содержание курса I.В поисках семантики… II.RDF III.RDFSchema IV.OWL V.SPARQL VI.Прикладные инициативы (LOD, SKOS, FOAF, …)

3 Рекомендованное чтение Dean Allemang, James Hendler, Semantic Web for the Working Ontologist John Hebeler, Matthew Fisher, Ryan Blace,Andrew Perez-Lopez, Semantic Web Programming Pascal Hitzler, Markus Kroetzsch, Sebastian Rudolph Foundations of Semantic Web Technologies

4 В поисках семантики С самого начала развитие технологий Semantic Web связано с развитием World Wide Web, что неудивительно: сэр Тимоти Бернерс-Ли придумал и WWW, и Semantic Web

5 Цели разработки Semantic Web Сделать знания широко доступными в Сети Получить пользу от знаний – разрабатывая приложения для сложного поиска, просмотра и оценки ресурсов Разработать форматы представления знаний для их использования не только (и не столько людьми), но машинами и программами

6 Другие основания для Semantic Web Построение моделей – описание реального мира в абстрактных терминах для более чёткого понимания нашего сложного мира

7 Другие основания для Semantic Web Вычисление на знаниях – построение машин вывода, которые смогут вывести полезные и осмысленные знания на исходных знаниях

8 Другие основания для Semantic Web Обмен информацией – распределение информационных ресурсов (баз данных, веб-сервисов, …) между компьютерами в сети для создания распределенной базы знаний глобального уровня

9 Построение моделей Модель – упрощённое описание некоторых аспектов реальности для лучшего понимания, структурирования или предсказания поведения некоторой части реальности Потребность в построении моделей – одна из особенностей человеческого мозга – модели нам нужны для рассуждения и для общения (!)

10 Построение моделей Исторические корни –Античная философия вводит термин «онтология» как система категорий для описания мира (сначала Платон, потом его ученик Аристотель) Примеры онтологий –таксономии (иерархии) - subclassof Карл Линней – таксономия форм жизни – описание объектов, несозданных человеком Десятичная система Девея (DDC) – классификация книг – объектов, создаваемых человеком –Тезаурусы Онтологии, описывающие зависимости между словами в языке – subclassof, антонимы, синонимы

11 Вычисление на знаниях Аристотель заметил, что процесс логического вывода может быть формализован с помощью набора правил (силлогизмов) Все люди смертны Сократ – человек Сократ - смертен

12 Вычисления на знаниях Если знания будут формализованы, на них можно проводить автоматический логический вывод Примеры: экспертные системы Ешё пример: проект CYC – создание базы знаний вида «все знают, что» (так называемый commonsense knowledge)

13 Обмен информацией ARPANET USENET HTTP LOD

14 LOD – Linking Open Data