如何解决使用 owlapi 推断平等语义 (OWL 2 RL)
我正在尝试使用 owl-api 为 OWL 2 RL“平等语义”中的规则生成蕴涵。我已经尝试关注:Why the inferences visualised in Protege differ from the exported inferred axioms
genInferred.add(new InferredSubClassAxiomGenerator());
genInferred.add(new InferredClassAssertionAxiomGenerator());
genInferred.add(new InferreddisjointClassesAxiomGenerator());
genInferred.add(new InferredEquivalentClassAxiomGenerator());
genInferred.add(new InferredEquivalentDataPropertiesAxiomGenerator());
genInferred.add(new InferredEquivalentObjectPropertyAxiomGenerator());
genInferred.add(new InferredInverSEObjectPropertiesAxiomGenerator());
genInferred.add(new InferredobjectPropertyCharacteristicAxiomGenerator());
genInferred.add(new InferredPropertyAssertionGenerator());
genInferred.add(new InferredSubDataPropertyAxiomGenerator());
genInferred.add(new InferredSubObjectPropertyAxiomGenerator());
并尝试预先计算相同的个人推断:
reasoner.precomputeInferences(InferenceType.SAME_INDIVIDUAL);
ontologyInf.addAxioms(reasoner.getPendingAxiomAdditions());
我已经尝试使用 Openllet 和 hermit 作为推理器。
但我仍然无法产生这样的蕴涵:
If:
T(?x,owl:sameAs,?y)
T(?y,?z)
Then:
T(?x,?z)
或平等语义学中的任何内容。
解决方法
不存在实现 sameAs
关系的推断公理生成器。您可以自己编写一个,例如基于 InferredPropertyAssertionGenerator
,或者您可以在 OWLAPI GitHub 存储库上打开一个问题以将功能添加到库中。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。