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

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

Рекомендованное чтение 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

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

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

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

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

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

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

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

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

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

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

LOD – Linking Open Data