3

我正在尝试自定义 Stardog 规则。自定义规则基本上如下所示：

@prefix rule: <tag:stardog:api:rule:> .
[] a rule:SPARQLRule ;
  rule:content """
PREFIX : <http://url/draft#>
IF {
      ?x a :Person; :has_yob ?yob.
      BIND (2014 - ?yob AS ?age)
   }
THEN {
      ?x :has_age ?age
}
""" .

我已经使用以下 java 代码上传了这个 ttl 文件：

final Connection conn = ConnectionConfiguration.to("db_name").server("snarl").connect();
conn.begin();
conn.add().io().context(new URIImpl("http://url/rules")).file(ttlFile);
conn.commit();

由于我想将规则保存在单独的图表中，因此我已在http://url/rules图表中加载了规则三元组。默认图，tag:stardog:api:context:default在 Stardog 中表示，包含本体公理。当我使用以下 SPARQL 查询时，Stardog 规则按预期工作：

PREFIX : <http://url/draft#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

SELECT ?s ?age
FROM <tag:stardog:api:context:default> 
FROM <http://url/rules>
FROM NAMED <http://url/datasource>
WHERE {
  ?s rdf:type :Person .
  ?s :has_age ?age .
}

您可能想知道现在出了什么问题。我想我对 FROM 和 FROM NAMED 子句的理解有误。当我离开FROM <http://url/rules>查询时，我期望查询没有结果。然而，我仍然得到与原始查询一样的结果。这怎么可能？这就是我对这些条款的看法：

  • FROM <tag:stardog:api:context:default>：使用默认图中的本体公理
  • FROM <http://url/rules>：使用此特定查询中的规则
  • FROM NAMED <http://url/datasource>：实际需要查询的数据

所以我重复我的问题，为什么当我将第二个 FROM 子句排除在 SPARQL 查询之外时，我会得到正确的结果？仅供参考，我一直在使用推理类型 SL。

在@user1538695 回答后编辑

当我在模式（TBox）中保留规则时，我仍然需要添加FROM <tag:stardog:api:context:default>我的查询。我只想查询一个命名图并使用模式进行推理。如果不必明确提及默认图（模式），这难道不是可能的吗？这是我当前查询的样子：

PREFIX : <http://url/draft#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

SELECT ?s ?age
FROM <tag:stardog:api:context:default> 
FROM <http://url/datasource>
WHERE {
  ?s rdf:type :Person .
  ?s :has_age ?age .
}
4

1 回答 1

3

首先，对 FROM NAMED 子句存在误解。FROM NAMED 子句指定将用于匹配 GRAPH 子句中的图形模式的命名图形。如果您的查询没有 GRAPH 子句，则 FROM NAMED 将无效。

其次，Stardog 认为规则是模式的一部分，并且数据库的模式是通过reasoning.schema.graphs数据库选项固定的。无论您的查询使用什么 FROM 或 FROM NAMED 子句，使用的模式公理和规则都是相同的。FROM 或 FROM NAMED 子句将仅确定实例将与查询匹配的命名图。

最后，Stardog 2.x 中的默认值 reasoning.schema.graphs 是默认图（在 Stardog 3.0 中默认值更改为所有图），因此命名图中的任何公理或规则都将被忽略，除非您更改此选项。但是还有一个query.all.graphs配置选项指示 Stardog 使用所有图的并集作为默认图。因此，拥有reasoning.schema.graphs=default但改变query.all.graphs也会间接改变模式图。

基于此信息，如果您仍然没有得到预期的答案，您应该整理一个最小的示例并将其发送到 Stardog 邮件列表。

于 2015-03-20T02:37:02.810 回答