Protegeの確率論的および/または致命的な推論？

Question

私はいくつかの有望な（古い）記事を見つけましたが、トレイルは寒いです。

理想的には私はプラグイン/コードを探していますが、単純に利用できない場合は、Protegeへの統合のための確率論的および/または決定不可能な推論をどのように構築するかについての具体的な指針が依然として有効です。

• Rapert Defeasible Reasoning plugin for Protege。休止/放棄されたようです。おそらく、プロジェクト/コードは、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

ペレットの上に構築された（here利用可能）プロントは、あります。私はそれがProtegeプラグインとして来るのかどうか思い出すことはできませんが、Pelletと結びついているので、2つのラッパーOWLReasonerを実装するのは難しくありません。