sparql - SPARQL 是推理机吗？

Question

我正在写关于档案中链接数据的硕士论文，我想知道你是否可以帮助我解决一个问题。我读过这本关于 LD 的书，并想到了这句话：

SPARQL 是 RDF 三元存储的查询语言，但查询语言超越了列表的生成。它还可以用于断言新的 RDF 语句并将它们保存到存储中。

我不太确定我是否理解了它的第二部分。SPARQL 是否真的像推理机一样从 RDF 图中获取新语句（推论？）？或者我应该如何理解上面的句子？

Answer 1

更完整的报价是：

SPARQL 是 RDF 三元存储的查询语言，但查询语言超越了列表的生成。它还可以用于断言新的 RDF 语句并将它们保存到存储中。它提供了回答布尔问题或执行数学函数的方法。

在本段中，作者列出了不同形式的 SPARQL 查询：

• SELECT——第一句；
• CONSTRUCT——第二句；
• UPDATE( DELETE/ INSERT) — 第二句；
• ASK——第三句。

---

至于推理，许多三元组能够从现有语句中推断出新语句。
新语句可以实现（保存在三重存储中）或不实现。

存在正式的 SPARQL 1.1 Entailment Regimes。该文件定义：

• 这是什么意思——在蕴涵下查询；
• 不同的常见类型的蕴涵。

简而言之，可以使用以下方法生成新语句：

• OWL 公理被序列化为 RDF 并存储在同一个三元存储中，
  OWL 结构可以或多或少地得到部分支持；

• 用或多或少的通用规则语言编写的推理规则。

---

作为练习，您可以尝试使用 GraphDB Cloud并使用不同的规则集。

有关一些示例，另请参见此答案。