SPARQL 查询中规则的使用

Question

我想在我的本体中使用规则，以便在推理时我可以检索一些在三元组存储中未明确表达的信息。 我创建了一个基本本体，我想添加此规则：

Person(?p) ^ hasSibling(?p, ?s) ^ Man(?s) → hasBrother(?p, ?s)

我想要执行的 SPARQL 查询正在

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX prova: <http://www.example.it/prova/>
SELECT ?subject ?object
    WHERE { ?subject prova:hasBrother ?object }

运行，但不会返回任何内容。当然，我已经为每个类创建了个体，但我没有创建涉及 hasBrother 的实例，因为这是我希望智能自行检索的内容。 那么，我的问题是：是否可以使用SPARQL查询来实现规则描述的推理？或者这些类型的推论只能通过专用的查询系统才能实现？例如，在 protegè 中，我了解了 SQWRL 选项卡。

我正在使用最新版本的 Protegè (5.5.0) 和最新版本的 SWRL 规则插件 (2.11)。我已经在 SWRL 选项卡中定义了规则。然后我尝试使用 SQWRL 选项卡执行查询，但出现与“无效查询名称”相关的奇怪错误，我不太明白。关于第二点的任何建议都会有所帮助。