使用OWL API实现OWL 2 RL相等语义推理无法得到蕴涵结果问题咨询

修复步骤 #

你当前的配置缺少相同个体推理结果的导出逻辑，可按以下步骤修复：

• 补全公理生成器：你当前配置的生成器列表里没有对应相同个体断言的生成器，需要新增一行：

genInferred.add(new InferredSameIndividualAxiomGenerator());

• 修正推理结果写入逻辑：reasoner.getPendingAxiomAdditions()不会返回相同个体类的推理结果，你需要通过InferredOntologyGenerator统一生成所有推理公理，完整示例代码如下：

// 预计算相同个体推理
reasoner.precomputeInferences(InferenceType.SAME_INDIVIDUAL);
// 初始化推理本体生成器，传入你配置的所有公理生成器
InferredOntologyGenerator inferredGenerator = new InferredOntologyGenerator(reasoner, genInferred);
// 将所有推理结果写入目标本体ontologyInf
inferredGenerator.fillOntology(ontologyInf.getOWLOntologyManager(), ontologyInf);

• 校验推理器运行状态：如果修改后还是没有结果，可先通过推理器API直接查询验证推理是否正确执行：

// 替换为你本体里的具体个体实例
OWLIndividual x = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLNamedIndividual(IRI.create("你的个体IRI"));
Node<OWLNamedIndividual> sameIndividuals = reasoner.getSameIndividuals((OWLNamedIndividual) x);
// 输出所有和x相等的个体，确认推理是否正常
sameIndividuals.entities().forEach(System.out::println);

如果查询能返回预期的相同个体，说明仅导出逻辑有问题；如果查询不到结果，需要检查：

1. 本体中已正确声明?x owl:sameAs ?y、?y owl:sameAs ?z的断言，无命名空间、拼写错误
2. 推理器未开启禁用相等推理的配置项：HermiT不要设置equalityAsGiven参数，Openllet确认使用完整OWL 2 RL支持的配置，未使用裁剪后的轻量profile
3. 确认推理器没有抛出异常，本体加载、推理器初始化流程正常

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