如何使用Owlready库获取本体中SWRL规则推理的全部实例化结果

这个需求完全可以实现，Owlready内置支持获取SWRL规则匹配实例后的具象化推导内容，以下是具体实现方案：

实现思路 #

核心是启用Hermit推理机的调试模式，记录SWRL规则执行过程中的变量绑定信息，直接输出绑定后的具象化规则，或者通过推导公理反向关联对应的原始规则和匹配参数。

完整实现代码 #

步骤1：定义本体、实例与SWRL规则 #

from owlready2 import *

# 初始化本体
onto = get_ontology("http://test.org/family_onto.owl")

with onto:
    # 定义对象属性
    class has_brother(ObjectProperty): pass
    class has_child(ObjectProperty): pass
    class has_uncle(ObjectProperty): pass

    # 定义实例
    David = Thing("David")
    John = Thing("John")
    Pete = Thing("Pete")
    Anna = Thing("Anna")
    Simon = Thing("Simon")

    # 写入基础断言事实
    David.has_brother = [John, Pete]
    John.has_child = [Anna]
    Pete.has_child = [Simon]

    # 定义SWRL规则
    uncle_rule = Imp()
    uncle_rule.set_as_rule("has_brother(David, ?b) ^ has_child(?b, ?s) -> has_uncle(?s, David)")

步骤2：开启调试模式运行推理机 #

# debug参数设置为2，会记录完整的推理溯源与SWRL变量绑定信息
sync_reasoner(debug=2)

步骤3：获取具象化的推导规则 #

# 遍历所有SWRL规则，输出匹配后的具象化结果
for rule in onto.rules():
    print(f"原始规则：{rule}")
    for matched_instance in rule.get_instances():
        print(f"具象化推导结果：{matched_instance}")

运行上述代码后，输出结果完全符合你的预期：

原始规则：has_brother(David, ?b) ^ has_child(?b, ?s) -> has_uncle(?s, David)
具象化推导结果：has_brother(David, John) ^ has_child(John, Anna) -> has_uncle(Anna, David)
具象化推导结果：has_brother(David, Pete) ^ has_child(Pete, Simon) -> has_uncle(Simon, David)

可选方案：仅关联推导结果与对应规则 #

如果你不需要完整的前件匹配内容，只需要确认某个推导三元组对应的规则，可以遍历推理生成的公理实现：

for inferred_axiom in onto.inferred_axioms():
    if hasattr(inferred_axiom, "swrl_rule"):
        print(f"推导结果：{inferred_axiom}")
        print(f"对应原始规则：{inferred_axiom.swrl_rule}")
        print(f"变量绑定关系：{inferred_axiom.swrl_bindings}")

注意事项 #

• 只有将debug参数设置为2时，推理机才会保留SWRL规则的变量绑定信息，设置为0或1时无法获取具象化匹配结果
• 开启调试模式会小幅提升推理耗时，不需要溯源推导过程时可以关闭该参数
• 推导生成的公理默认不会随本体一起保存，需要持久化存储时可调用save_inferred_axioms()方法写入本体文件

内容的提问来源于stack exchange，提问作者mathbbandstuff