对链接数据 SPARQL 端点的推理

Question

当通过 SPARQL 查询查询一些链接数据 SPARQL 端点时，提供的推理类型是什么（如果有）？

例如，DBpedia SNORQL endpoint 甚至不提供基本的子类推断（如果是 A subClassOf B 和 B subClassOf C，那么 A subClassOf C）。虽然FactForge SPARQL endpoint 提供了一些推断（尽管不清楚它是哪种推断），并提供了打开和关闭该推断的可能性。

我的问题： 如何识别应用的推理类型？如果推理支持有限，是否可以仅使用端点进行扩展？

Answer 1

推理控制会因引擎和端点而异。

public DBpedia SPARQL endpoint（由 Virtuoso 提供支持，来自我的雇主 OpenLink Software）确实提供各种 inference rules（可通过右上角的“推理规则”链接访问） SPARQL 端点查询表单页面），由pragmas in your SPARQL（不是 SNORQL，form you linked）控制，例如 --

DEFINE  input:inference  'urn:rules.skos'

您可以通过 SPARQL 查看任何预定义规则集的内容——以上内容

SELECT  * 
  FROM  <urn:rules.skos> 
 WHERE  { ?s ?p ?o }

你可以看到query和results的直播。

看到这个tutorial containing many examples。

Answer 2

虽然 SPARQL 端点并未普遍支持推理，但 SPARQL 本身支持 RDFS、RSFS+ 和 OWL 2 RL 配置文件支持的大多数推理。例如，SPARQL 属性路径可以支持使用 subClassOf 蕴涵查询 :A 的实例：

SELECT ?inst 
WHERE {
   ?cls rdfs:subClassOf* :A .
   ?inst a ?cls .
}

第一个三元组模式获取:A 的所有子类，包括:A（如果您只想要:A 的子类，请使用+ 而不是*），第二个三元组查找所有这些的所有实例类。

要了解如何使用 SPARQL 实现 OWL 2 的大部分内容，请参阅 Reasoning in OWL 2 RL and RDF Graphs using Rules。除了几个例外，所有这些都可以在 SPARQL 中实现（实际上您可能不需要其中的一些，例如eq-ref，（这对于逻辑学家可能会嘲笑的计算大声笑很有用））。

除了繁重的分类问题之外，很少有使用 OWL 2 RL 规则的子集无法解决的用例。

因此，最后，建议是了解您需要什么蕴涵。可能是 OWL 完全考虑了这个问题，您可以接受一些 SPARQL 模式。然后您可以访问 SPARQL 端点，而不必担心是否支持特定的推理配置文件。