Технологии Semantic Web Наталья Геннадьевна Кеберле старш. преп. каф. ИТ, kenga@zsu.zp.ua, kenga@email.zp.ua Содержание курса I. II. III. IV. V. VI. В поисках семантики… RDF RDFSchema OWL SPARQL Прикладные инициативы (LOD, SKOS, FOAF, …) Рекомендованное чтение Dean Allemang, James Hendler, Semantic Web for the Working Ontologist http://workingontologist.org/ John Hebeler, Matthew Fisher, Ryan Blace,Andrew Perez-Lopez, Semantic Web Programming http://semwebprogramming.org/ Pascal Hitzler, Markus Kroetzsch, Sebastian Rudolph Foundations of Semantic Web Technologies http://semanticfuture.net В поисках семантики • С самого начала развитие технологий 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 WWW ... LOD LOD – Linking Open Data