система категорий для описания мира

Технологии 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