Упражнение 20

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

== Упражнение 20: Составление ограничений someValuesFrom булевскими операторами ==
Rem: Нужны идеи,зацепки по логическому конструированию предметной области.
20.1. Установите geotravel.owl -> person:Adventurer -> Form -> поле owl:eqvivalentClass -> курсор справо от some travel:Adventure -> введите 'and person:Person' (или если осталось в результате экспериментов person:HumanBeing) - появится синтаксическая подсветка 'and' -> Ok - появятся скобки (travel:hasFovoriteActivity some travel:Adventure)
and person:Person.
Rem: Это действие означается как: определение класса приключенец как пересечение ограничения и класса Персона.
20.2. Если нет вкладки Inference то: Window -> Show View -> Inferences (три голубых кружочка)
20.3. Выберите вкладку Inference -> верхнее главное меню -> Run Superclass Inferences Only (заполняется поле Inferensses)
Rem: Красивая содержательная картинка,что с ней деалать? Два клика появляется контент Property Form, Graph.
Rem: Ограничение и любые выражения можно перетаскивать (drag and dropped). В качестве упражнения, зацепите иконку логического пересечения с логическим выражением и перетащите в поле Class Form в rdfs:subClassOf.

== Справочник по ограничивающим выражениям ==
См. таблиц на стр. 45, приведем только примеры и объяснения
someValuesFrom (OWL) - some (Манчестерсский синтаксис) - hasChils some Man - когда используется с owl:equivalent class позволяет выводить утверждения о типе субъектов в триплете (т.е.?)
allValuesFrom - all - hasSibling all Woman - позволяет выводить утверждения о типе объекта втриплете.
hasValue - has - hasCountryOdorigin has England - когда используется c owl: equivalent class позволяет выводить утверждения о типе сбъекта триплета.
minCardinality - min - hasChild min 3 - при использовании с oql:equivalent class позволяет выводить утверждения о типе субъекта триплета.
cardinality - exactly - has Child exactly 3 - когда используется в open world assunptions (?) не дает результате ни в каком классифицирующем вывода (т.е. нужен диапазон а не точное значение,)
maxCardinality - max - hasChild max 3 - когда используется в open world assunptions (?) не дает результате ни в каком классифицирующем вывода (?)
Rem: OWL допускает типизацию ограничения hasValue, например: "value" для sd:string, 42 для xsd:int, 4.2 для xsd:float, true, false для xsd:boolean.

== Булевские конструкторы классов ==
intersectionOf (OWL) - and (ключевое слово ТБК ? есовместимость со стандартом?) - Doctor and Famale
unionOf - or - Man or Woman
complementOf - not - not Child

== Сложные выражения в конструкции классов ==
Пример сложного выражения:
Person and hasChild some (Person and (hasChild all Man) and (hasChild some Person))
т.е. множество людей которые имеют по крайней мере одного ребенка, который имеет детей, один из которых мужского пола (т.е. дедушка имеет только одного внука). Обрати