Упражнение 14.

Сообщение послал(а): Владимир (95-24-150-74.broadband.corbina.ru)
Дата: Вторник, 17 Января 2012, at 8:17 p.m.

== Упражнение 14. Выполнение вывода и запроса для всех родителей ==
Философия SPARQL запросов:
Формирование универсальных патернов: ?subject, ?object
Формирование сужающая связка/предикат: rdfs:subClassOf
Запрос: субъект - сужающий предикат - объект
?subject rdfs:subClassOf ?object

14.1. В поле начальный запрос:
SELECT * WHERE {?subject rdfs:subClassOf ?object .}
Выберите в меню Inference -> Run Inference
Rem: Если используется свободная версия ТБК, то перед работой Run Inference, возможно надо будет кликнуть иконку домик, перейти к таблице profile нажмите OWL 2 RL для включения библиотеки SPIN.

Появляется поле Inference с триплетами:
Общесемантическими: пространство имен - rdf:type - rdf:Property
Данные: Subject (экземпляр) - Predicate - Object (экземпляр)
Семантические ээлементарные конструктивы: числа, строки литералы

14.2. В виде SPARQL нажмите Use Currenltly Configured Inference (зеленая стрелка в кружке)
Это позволит вывод можно будет использовать в следующем запросе
SELECT ?subject ?object
WHERE {?subject owl:hasChild ?object}
Появляется окно вывода: родитель - ребенок
14.3. Нажмите на экземпляр (строку с парой) William_Shakespeare
Наверху появится поле Resource Form (в ней выделенные синим строки выборки)
Rem: ТБК содержит доказанные (asserted) и выводимые (nferred) графы.

14.4. Закройте и откройте онтологию: File -> Close all -> Resource -> tutorial.topbraid.com -> person.ttl
Запрос не дает результата.
Возможно сделать индивидуальной выводимое утверждение постоянным, включив его в высказывание.
Полный выводимый граф может быть сохранен:
14.5. Нажмите Show widget menu (не найдено) например person:hasChild значения в поле William Shekespeare Resource Form) и выберите Assert inferred statement (не получается)
14.6. Меню -> Inference -> Save inference graph в голове системы появится файл person.ttl.inf.rdf.
14.7. Сохраните запрос для использования в будущем.
14.7.1. Выберите person:Person в поле классов
14.7.2. Нажмите Attach current query to selected resource в поле SPARQL -> Ok (в поле вопроса).
Вопрос заключается в импортировании пространства имен SPIN (т.е. машины вывода SPARQL). После этого импорта можно прикреплять запрос к классу.
В поле Class Form Person повится поле spin:query.
14.7.3. Есть два способа запуска сохраненного запроса:
- через меню виджета spin:query -> треугольник справо от поля запроса -> Execute as SPARQL query
- через библиотеку запросов, закладка в поле SPARQL, выбран режим Use currently configured inferences -> Execute SPARQL
Rem: ТБК распознает SPARQL синтаксис как значения свойств класса spin:query и предоставляет меню опций для выполнения.
Rem: Путь к spin:query через вид Properties -> spin:command
Rem: Правила и ограничения можно связать с ресурсами онтологии. См. руководство по SPIN.
14.8. Экспорт результатов запр