Что означают «IS», «IL» и «IEXT» в спецификации семантики RDF? - PullRequest
Новая
       34

Что означают «IS», «IL» и «IEXT» в спецификации семантики RDF?

3 голосов
/ 18 июля 2011

Эти термины используются в таблице «Определение простой интерпретации» в http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#interp. Мне немного неясно их значение.

На данный момент, я думаю, они имеют в виду промежуточный язык,

Мне немного неясно, что означают эти сокращения. Я предполагаю, что они имеют в виду промежуточный язык, промежуточную систему и промежуточное расширение (или любое из них, заменяя «интерпретация» на «промежуточный»). Эта информация не указана в документации, и у меня недостаточно контекста, чтобы точно знать, на что идет ссылка.

Редактировать Я скопировал раздел, где он используется ниже: 

Definition of a simple interpretation.

A simple interpretation I of a vocabulary V is defined by:

1. A non-empty set IR of resources, called the domain or universe of I.

2. A set IP, called the set of properties of I.

3. A mapping IEXT from IP into the powerset of IR x IR i.e. the set 
   of sets of pairs <x,y> with x and y in IR .

4. A mapping IS from URI references in V into (IR union IP)

5. A mapping IL from typed literals in V into IR.

6. A distinguished subset LV of IR, called the set of literal values, 
   which contains all the plain literals in V

Ответы [ 2 ]

4 голосов
/ 18 июля 2011

Это немного непостижимо, если вы не привыкли к формальной логике.

Интерпретация является особым пониманием набора утверждений в некотором искусственном языке (в данном случае RDF). Звучит великолепно, но, как правило, настолько очевидно, что вы даже не думаете об этом. Например, :a :p :b . может иметь интерпретацию «:a - это Анна, :b - это Боб, а :p - это жизнь рядом с». Вооружившись этим отображением между терминами и вещами, которые вы можете интерпретировать :a :p :b. Возможны многие другие интерпретации.

Простые интерпретации RDF являются именно таким отображением (фактически, набором отображений). У каждого из них есть краткие ярлыки.

  1. IR (Ресурсы Интерпретации), набор всех вещей, о которых мы можем говорить (Анна, Боб, облака и т. Д.).
  2. IP (Свойство интерпретации), набор всех свойств, о которых мы можем говорить (любовь, жизнь по соседству и т. Д.).
  3. IEXT (Расширение интерпретации). Объясняет, что такое расширение свойства. Неформально расширение свойства P - это все пары вещей, для которых свойство принадлежит. Поэтому, даже если вы не понимаете «blarg», вы можете определить, :a :blarg :b, просто найдя <:a, :b> в расширении :blarg. Данное определение является формализованной версией этого: вы отображаете свойства в набор всех пар ресурсов.
  4. IS (Предметы перевода). Назначает URI всем вещам, которые могут появиться в позиции субъекта (ресурсы и свойства). (V - это словарь - термины - языка).
  5. IL (буквальная интерпретация). Карты набирают буквальные термины для вещей.
4 голосов
/ 18 июля 2011

Определения приведены в вставленном вами цитируемом тексте.например, «5. Отображение IL из типизированных литералов из V в IR».определяет IL.

IL определяется как функция математической карты.Ключ карты (из): литералы в V. Значение карты (в): IR

и т. Д. Для IS и IEXT

...