“reify”和“具體化”對RDF有何意義？

Question

我確實認為我理解這些單詞在編程語言中的含義，但在RDF和三元組方面還不清楚。 有沒有一個例子可以幫助我理解？

謝謝

Answer 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

這里的前四個三元組正式和正式地是第一個三元組的具體化。

請注意，原始語句不在模型中，因為具體化的目的是阻止聲明它，而是間接談論它。

請注意，為了清楚起見，我已經將ROI和朋友的IRI排除在外。

對於觀眾的認知：

您可以通過具體化來做各種事情。 如上所述，您可以使用它來描述語句而不說明它，從而使其遠離推理。

您還可以使用它向聲明添加其他事實，例如出處。 在這種情況下，你有原始的三重奏，以及具體化。 但是，我剛剛從一個似乎對RDF（SPARQL規范的一個主要領導者）了解很多的人那里得到了一個冗長的解釋。他的解釋是正式的具體化（包括第四個三元組，即該東西'是一個聲明'）不應該與斷言三聯本身一起使用。 如果你看一下這個答案的評論，你會發現他的觀點並不普遍，但你可能還想記住它。

Answer 2

另一個例子：

考慮一下這句話

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.