SPARQL 是推理机吗?

Is SPARQL a reasoner?

我正在写关于档案中链接数据的硕士论文,我想知道你是否可以帮我解决一个问题。我读过 this book 关于 LD 的文章,然后出现了这句话:

SPARQL is the query language of RDF triple stores, but the query language goes beyond the generation of lists. It can also be used to assert new RDF statement and have them saved to the store.

我不太确定我是否理解了它的第二部分。 SPARQL 真的像推理机一样从 RDF 图中获取新语句(推论?)吗?或者我应该怎么理解上面的句子?

更完整的报价is:

SPARQL is the query language of RDF triple stores, but the query language goes beyond the generation of lists. It can also be used to assert new RDF statement and have them saved to the store. It provides the means for answering Boolean questions or performing mathematical functions.

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


至于推理,许多三元组能够从现有的陈述中推断出新的陈述。
新语句可以实现(保存在三元组中)或不实现。

存在官方SPARQL 1.1 Entailment Regimes。文档定义:

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

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

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

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


作为练习,您可以尝试 GraphDB Cloud and play with different rulesets

另请参阅 了解一些示例。