Эскизы концептов.

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

== Справочник по ограничивающим выражениям ==
См. таблиц на стр. 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))
т.е. множество людей которые имеют по крайней мере одного ребенка, который имеет детей, один из которых мужского пола (т.е. дедушка имеет только одного внука). Обратите внимение на скобкиони используются для предотвращения неоднозначности выражения.

== Эскиз стандарта RDF ==
RDF Resource Description Language - язык описания информации о ресурсах доступных через интернет-инфраструктуру.
Каждый ресурс имеет уникальный идентификатор (URI - похожий на URL но не задающий расположение)
Не следует понимать RDF в терминах парадигмы XML.
RDF следует понимать в терминах его модели данных.
RDF может быть вытянут в последовательность (serialised) как в нотации XML, так и N3, Turtle.
Утверждения RDF асто называют триплетами (triples), т.к. он состоит из трех частей: субъекта, предиката иобъенкта.

Утверждения с одинаковым идентификатором сливаются (merged) например образуют единый граф с центром "Лондон" (т.е. изначально зашиваются поисковые цепочки).
полеты:N210 полеты:имеют_назначение гео:Лондон
гео:Лондон rdf:тип гео:город
:Джон :живет гео:Лондон

Триплет может быть представлен как выражение используя rdf:Statement. Это позволяет делать утверждения о утверждениях (т.е. поняться на метауровень, уровень интепретатора).
Предикат одного утверждения может быть субъектом или объектом другого выражения (затем эти сети визуализуруют