使用Owlready2加载本地本体并添加SWRL规则推理存盘遇阻求助

问题背景 #

我正在用Owlready2完成以下操作：

• 读取磁盘上的本体文件（onto.xml）
• 添加SWRL规则
• 运行推理器
• 保存包含新推理事实的结果本体

但遇到瓶颈：官方示例要求在Python程序中重复定义本体已有的类、对象属性和个体才能让推理器正常工作，但我不想这么做，希望能直接基于已有本体的结构操作，类似兄弟/叔父关系这类直观的示例逻辑。

核心解决思路 #

Owlready2加载本体后，会自动将本体中的类、对象属性、数据属性映射为Python对象，无需手动重复定义。你可以直接通过本体的命名空间访问这些元素，用它们编写SWRL规则，再调用推理器执行推理，最后保存包含推理结果的本体。

完整代码示例 #

以下是基于已有本体添加SWRL规则并执行推理的脚本：

#!/usr/bin/env python3
import argparse
import owlready2 as owl

parser = argparse.ArgumentParser()
parser.add_argument("--ontology", help="本体文件路径", required=True)
parser.add_argument("--output", help="推理结果保存路径", required=True)
args = parser.parse_args()

# 加载已有本体
onto = owl.get_ontology(args.ontology).load()

# 直接通过本体命名空间访问已有的类和属性（示例：假设本体中有Person类、hasParent、hasSibling属性）
# 无需手动重新定义，直接用onto.xxx访问
Person = onto.Person
hasParent = onto.hasParent
hasSibling = onto.hasSibling

# 添加SWRL规则（示例：推理兄弟关系）
with onto:
    owl.SWRLRule(
        [Person(?p1), hasParent(?p1, ?parent), Person(?p2), hasParent(?p2, ?parent), owl.differentFrom(?p1, ?p2)],
        [hasSibling(?p1, ?p2)]
    )

# 运行Hermit推理器（Owlready2默认集成）
owl.sync_reasoner()

# 保存包含推理结果的本体
onto.save(file=args.output, format="rdfxml")

# 验证推理结果
print("推理后的个体：")
for individual in onto.individuals():
    print(f"{individual.name}: {[str(s) for s in individual.hasSibling]}")

TTL格式本体转换补充 #

如果你的本体是TTL格式，可先转换为Owlready2支持的RDF/XML格式，再进行后续操作：

#!/usr/bin/env python3
import argparse
import os
import owlready2 as owl

parser = argparse.ArgumentParser()
parser.add_argument("--ontology", help="TTL格式本体文件路径", required=True)
args = parser.parse_args()

path2in = args.ontology
path2out = path2in.replace(".ttl", ".xml")

# 使用ontospy转换格式
cmd2 = f"ontospy ser -f xml {path2in} 2>/dev/null > {path2out}"
os.system(cmd2)

# 加载转换后的本体
onto = owl.get_ontology(path2out).load()

print("本体中的类：", list(onto.classes()))
print("本体中的个体：", list(onto.individuals()))

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