Protege中的概率论和/或可行推理？

Question

我找到了一些很有希望的（旧的）文章，但这条路很冷。

理想情况下，我正在寻找有效的插件/代码，但如果它们根本不可用，那么关于如何构建概率和/或可行推理以便集成到Protege中的任何具体指示仍然有用。

• Protege的RaMP Defeasible Reasoning插件。似乎处于休眠状态/被遗弃状态。也许项目/代码与http://code.google.com/p/nomor/
一起丢失了
• PR-OWL http://www.pr-owl.org/。扩展OWL以支持概率本体。似乎处于休眠/遗弃状态。
• Defeasible RuleML看起来很有趣，但我找不到任何具体的实现/插件/代码。 http://ruleml.org/1.0/defeasible/defeasible.html。
• Defeasible Logic RuleML兼容规则 语言。即使可以找到代码，此实现看起来是实验性的，并且不利用更新的标准和格式。论文：http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.5914&rep=rep1&type=pdf资源：http://lpis.csd.auth.gr/systems/resources.html#drdchairruleml2010

Answer 1

有Pronto（可用here），它建立在Pellet之上。我不记得它是否是一个Protege插件，但由于它与Pellet有关，我想它不应该为这两个实现OWLReasoner包装器太难。