Что означают "reify" и "reification" по отношению к RDF?

Я думаю, что понимаю значение этих слов в языках программирования, но это не совсем понятно в отношении RDF и троек. Есть ли пример, который поможет мне понять?

Спасибо

Источник

1 ответ

Решение

Стандартный оператор RDF состоит из:

 SUBJECT PREDICATE OBJECT

Думайте об этом как утверждение факта.

 ROVER IS-A DOG

Теперь, что если ситуация у вас под рукой, на самом деле,

  GEORGE SAYS-THAT 'ROVER IS-A DOG'

В RDF вы пишете это как

  STMTID  IS-A STATEMENT
  STMTID  HAS-SUBJECT ROVER
  STMTID  HAS-PREDICATE IS-A
  STMTID  HAS-OBJECT DOG
  GEORGE  SAYS-THAT STMTID

Первые четыре тройки здесь, формально и официально, являются овеществлением первого.

Обратите внимание, что первоначальное утверждение НЕ в модели, так как цель овеществления состоит в том, чтобы удержаться от его утверждения, а скорее поговорить об этом косвенно.

Отметьте далее, что я исключил IRI из ROVER и друзей для ясности.

Для Cogniscenti в аудитории:

Есть много вещей, которые вы можете сделать с помощью овеществления. Как указано выше, вы можете использовать его, чтобы описать утверждение, не заявляя его, таким образом, удерживая его от вывода.

Вы также можете использовать его для добавления дополнительных фактов, таких как происхождение, к заявлению. В этом случае у вас есть оригинальная тройка, а также овеществление. Тем не менее, я только что получил длинное объяснение от того, кто, кажется, знает много о RDF (один из лидеров спецификации SPARQL). Его объяснение состоит в том, что формальное овеществление (включая четвертую тройку, которая говорит, что вещь - это утверждение ') не предполагается использовать вместе с утверждением самой тройки. Если вы посмотрите на комментарии к этому ответу, вы увидите, что его мнение не является универсальным, но вы можете помнить об этом.

Источник

Другой пример:

Рассмотрим утверждение

music:Symph3 music:dedicatedTo music:Napoleon

Чтобы сделать приведенное выше утверждение ссылочным из другого оператора RDF, оно переформулировано, то есть перефразировано, с использованием синтаксиса RDF следующим образом.

_:s1  rdf:type       rdf:Statement.
_:s1  rdf:subject    music:Symph3.
_:s1  rdf:predicate  music:dedicatedTo.
_:s1  rdf:object     music:Napoleon.
Источник
Другие вопросы по тегам