Probabilistische und/oder defeasible Argumentation in Protege?

Question

Ich habe einige vielversprechende (alte) Artikel gefunden, aber die Spur ist kalt geworden.

Idealerweise suche ich nach funktionierenden Plugins/Code, aber wenn sie einfach nicht verfügbar sind, dann wären alle konkreten Anweisungen, wie man probabilistische und/oder defeasible Argumente für die Integration in Protege erstellt, immer noch nützlich.

• RaMP Defeasible Reasoning-Plugin für Protege. Scheint ruhend/verlassen zu sein. Vielleicht wurde Projekt/Code zusammen mit http://code.google.com/p/nomor/
• PR-OWL http://www.pr-owl.org/ verloren. Erweitert OWL, um probabilistische Ontologien zu unterstützen. Scheint ruhend/verlassen zu sein.
• Defeasible RuleML sah interessant aus, aber ich kann keine konkreten Implementierungen/Plugins/Code finden. http://ruleml.org/1.0/defeasible/defeasible.html.
• Defeasible Logic RuleML-kompatible Regel Sprache. Auch wenn Code gefunden werden kann, sieht diese Implementierung experimentell aus und nutzt nicht neuere Standards und Formate. Papier: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.5914&rep=rep1&type=pdf Ressourcen: http://lpis.csd.auth.gr/systems/resources.html#drdchairruleml2010

Answer 1

Es gibt Pronto (erhältlich here), die auf der Oberseite des Pellet gebaut wird. Ich kann mich nicht erinnern, ob es als Protege-Plugin kommt, aber da es an Pellet gebunden ist, stelle ich mir vor, dass es nicht zu schwer sein sollte, einen Wrapper für die beiden zu implementieren.