owlready2 推理器不使用 SWRL 规则生成推断的对象属性断言答案

【问题标题】：owlready2 reasoner does not generate inferred object property assertions with a SWRL ruleowlready2 推理器不使用 SWRL 规则生成推断的对象属性断言
【发布时间】：2021-07-27 05:46:21
【问题描述】：

假设一个 OWL 本体包含以下 SWRL 规则：

has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z)

以及以下对象属性断言：

o1 has_part o2
o1 participates p1

当我在 Protege 中运行 Hermit 推理器时，我得到以下推断的对象属性断言：

o2 participates p1

但是，当我使用 owlready2 加载相同的本体并运行其 Hermit 推理器时，我没有得到任何推断的对象属性断言。例如：

from owlready2 import *

onto = get_ontology("test.owl").load()
sync_reasoner()
onto.o2.get_properties()

不返回任何属性。

我确实以 RDFXML 格式保存了本体，我可以使用 owlready2 检索 SWRL 规则。

owlready2 推理器不支持这种推理吗？

【问题讨论】：

标签： owl swrl owlready reasoner hermit

【解决方案1】：

解决方案：sync_reasoner(infer_property_values = True)

【讨论】：