owlready2逆属性问题求助：推理后逆三元组及属性域范围未生成

问题1：推理后逆属性三元组丢失且未保存 #

原因 #

1. 代码中重复创建同名个体John，覆盖了原实例，虽内存中临时维护了逆属性关联，但推理时易出现数据不一致。
2. Owlready2默认不会将推理器推导的属性断言（如逆属性三元组）持久化到实例，即便开启infer_property_values，也需显式同步推导结果到实例属性。

解决方法 #

• 避免重复创建同一命名的个体，直接在创建时绑定属性关系。
• 推理后通过get_inferred_property_values获取推导的属性值，手动赋值给对应实例，确保三元组被写入本体。

问题2：逆属性的域和范围未自动推导 #

原因 #

Owlready2不会自动基于原属性的域/范围推导逆属性的域/范围，该逻辑属于本体公理层面的推理，默认sync_reasoner_pellet仅处理实例层面推理，不会自动添加公理到本体。

解决方法 #

• 手动为逆属性指定域和范围（推荐方案，逻辑清晰且可靠）。
• 若依赖推理器生成公理，需额外配置推理参数并同步公理回本体，但Owlready2对该场景支持有限，手动定义更稳妥。

修正后的完整代码 #

from owlready2 import *

onto = get_ontology("http://test.org/Family#")
with onto:
    # 定义基础类
    class Human(Thing): pass
    class Man(Human): pass
    class Woman(Human): pass
    AllDisjoint([Man, Woman])

    # 定义属性，手动指定逆属性的域和范围
    class has_couple(Human>>Human): pass
    class has_wife(has_couple, Man>>Woman): pass
    class has_husbend(has_couple, Woman>>Man):  # 对应has_wife的范围/域
        inverse = has_wife
    class has_child(Human>>Human): pass
    class has_parent(Human>>Human):  # 对应has_child的范围/域
        inverse = has_child

    # 创建个体，避免重复赋值
    Kevin = Man("Kevin")
    John = Man("John", has_parent=[Kevin])

# 推理前查看逆属性
print("推理前 Kevin.has_child:", Kevin.has_child)

# 推理并同步推导的属性值
with onto:
    sync_reasoner_pellet(infer_property_values=True, infer_data_property_values=True)
    # 将推导的has_child值同步到Kevin实例
    inferred_children = get_inferred_property_values(Kevin, has_child)
    Kevin.has_child = list(inferred_children)

# 查看逆属性的域
print("推理后 has_husbend.domain:", has_husbend.domain)

# 保存本体，此时Kevin.has_child的三元组会被写入
onto.save("test.owl", format="rdfxml")

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