Упражнение 15-16

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

== Упражнение 15. Создание свойства объекта hasSpouse (имеет супруга) ==
В этом разделе (расширение онтологии) добавляются свойства и наблюдается, к чему это приводит.
15.1. Properties -> Create Properties -> expand owl:ObjectProperty -> owl:SymmetricProperty -> person:hasSpose
Переименуем префикс owl. созданных ранее свойств на person.
При переименовании автоматически производится проверка существования пространства имен.
15.2. В Property Form свойства hasSpouse в виджеты rdfs:domain, rdfs:range добавит person:Person.
Rem: До этого упражнения использовался только RDFS-словарь для определения онтологии person.
С этого момента первый раз используется конструкция OWL.
Rem: Во всех упражнениях можно обойтись без OWLутверждений. например вместо owl:Thing можно создать субкласс rdfs:Resource.
ТВК можно сконфигурировать как только RDFS-редактор "скрывающий" OWL-конструкции: Window-> Preference -> TopBraid Composer -> Classes View, Property View и выбрать соотвествующие опции.
Rem: Симетричные свойства (обозначенные здесь как p) влечет за собой следующие логический вывод:
1. Если есть триплет (a p b) то выводится (b p a).
2. Свойства p переносятся симмметрично между a и б.
Rem: Логический вывод чаще всего появляется в ТБК при явном задании логического вывода. Однако существует ограниченное число тривиальных выводов, которые ТБК выполняет интерактивно "сразу" (just in time):
- Координация инверсий owl:inverseOf.
- Координация областей и пределов (domain, range).
Рекомендуется, если используется инверсионные свойства, задавать эти свойства только с одной строны, ТВК будет автоматически поддерживать целостность данных.
В общем не рекомендуем использовать инверсионное свойство, поскольку SPARQL спользуется по всем направлениям путей логического следования.
15.3 Прописываем экземпляр женщины Анна Хэтвей и свойство имеетСупруга Вильяма шекспира.

== Упражнение 16. Создание свойства объекта hasFamilyMember (Имеет члена семьи) ==
16.1. Create property -> owl:ObjectProperty -> person:hasFamilyMember -> Ok.
Rem: не забываем сохранять файл - Ctrl
16.2. Перетаскиваем hasChild, hasSpose как подсвойства hasFamilyMember.
Rem: Если для подсвойств определены domain, range бычно нет необходимости и не рекомендуется переность domain, range на родительские свойства.
В некоторых схемах проектирования онтологий (менее распространенных, но используемых в некоторых случаях) определяется domain, range для родительских свойств но эти определения не действуют на субствоства (? не совсем ясно).

== Упражнение 17. Импортирование онтологии person и внесение изменений ==
В этом разделе (гл.4) рассматривается комбинация моделей geotravel.owl и person.ttl для описания того как люди могут интересоваться различной дейтельностью по активному отдыху.
Онтология geotravel.owl находится в папке Examples. В ней описаны осмотр дос