隐式具体化的简单格式

Question

是否有任何RDF序列化格式（如表示法3 ）支持隐式具体化以轻松表示有关语句的语句？

例如，假设我有“玛丽买了房子”这句话，我将在N3代表：

:Mary :bought-a :house .

现在说我想添加关于这个陈述的元陈述，例如“我从Rob那里听到了这个”。

直观地说，我希望能够通过写下以下内容来表示：

:Mary :bought-a :house .
    :heard-by :me .
    :heard-from :Rob .

但是，我认为这将在N3中“正式”表示的方式如下：

[ a rei:Statement;
  rei:subject [rei:uri :Mary];
  rei:predicate [rei:uri :bought-a];
  rei:object [rei:value :house]
] [
    :heard-by :me;
    :heard-from :Rob;
] .

这显然有点复杂，难以阅读。 如果我需要声明有关语句的语句，它会变得更加复杂。 例如“我从罗布那里听到这个，而罗布正走在街上”。

在RDF序列化格式中表示这一点的正确和最简单的方法是什么？

Answer 1

如果可能的话，我会尽量避免隐式具体化，原因有很多，但更具体地说是因为：

• 访问数据更难，
• 随着每个三元组变为4个三元组，数据集的大小急剧增加，
• 处理非实际数据集的SPARQL查询将不适用于具体化的数据集，
• reasoners将陷入困境或无法工作。

在为自己编写了许多语义Web应用程序之后，我使用隐式具体化的次数很少，我后悔了。

在你的情况我会尝试用它与明确的具体化模型Blank Node作为中间连接点heard-by和heard-from谓词。 像（在RDF / Turtle中）：

@prefix : <http://somedata.org/id/> .
:Mary :bought-a [ 
     a :House;
    :heard-by :me;
    :heard-from :Rob ] .

在普通的RDF / ntriples中，这与（用说唱歌手转换）相同：

<http://somedata.org/id/Mary> <http://somedata.org/id/bought-a> _:genid1 .
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://somedata.org/id/House> .
_:genid1 <http://somedata.org/id/heard-by> <http://somedata.org/id/me> .
_:genid1 <http://somedata.org/id/heard-from> <http://somedata.org/id/Rob> .

正如你所看到Mary买了一些rdf:type House ，你from Rob和Yourself那里听到了。

我觉得这个解决方案更清洁，成本低于隐式具体化。 我希望这有帮助。

Answer 2

我会使用命名图，不会害怕在图中放一个语句。 您可以将原始语句放在图形中，然后元语句将是关于该图形而不是其中的语句。 这些可以放入一个或多个其他图形中，然后如果您需要一些疯狂的元元声明，那么您可以通过引用包含元语句的图形以与原始元语句相同的方式处理它。

在稍后推理或使用图表时，您可能需要将所有叶子/非元图形“折叠”为单个图形。 这也是推理元数据的好方法，以便发现哪些图形“崩溃”到您的可信任语句中以进行实际推理。