python - 来自 AllegroGraph Python API 的 Prolog 查询中的 OWL 推理

Question

我注意到在 AllegroGraph Python API 教程 here ，每当他们想要使用 OWL 推理时，他们都会使用 conn.getStatements 方法，而不是发出 Prolog 或 SPARQL 查询。是否可以通过发出 Prolog 或 SPARQL 查询而不是使用 conn.getStatements 方法来从 OWL 推理器推断出三元组？我尝试了 Prolog 查询:

(select (?x ?y) (q ?x !ex:owned-by ?y))

我将owned-by定义为owl:inverseOf ex:owns，并在我的商店中有三元组ex:someone ex:owns ex:something，并且我没有结果。我确实通过使用 conn.getStatements 获得了结果，那么我是否遗漏了 Prolog 查询中的一些重要内容？

Answer 1

在调用评估之前，您是否对从prepareTupleQuery返回的查询对象调用了setIncludeInferred？

http://www.franz.com/agraph/support/documentation/v4/python-tutorial/python-API-40.html#Query%20Class

IncludeInferred 默认为 False。我相信有效值为 false(无推理)、“rdfs++”或 True 以及“restriction”，如 infer http 查询参数的 HTTP Rest 文档中所述。 Python 实现只是传递值。

http://www.franz.com/agraph/support/documentation/v4/http-protocol.html#header2-364