Вероятностные и/или допустимые аргументы в Protege?

Question

Я нашел несколько многообещающих (старых) статей, но след простудился.

Идеально я ищу рабочие плагины/код, но если они просто недоступны, любые конкретные указания о том, как построить вероятностные и/или допустимые аргументы в пользу интеграции в Protege, по-прежнему будут полезны.

• RaMP Неизбежный разумный плагин для Protege. Похоже, что он неактивен/оставлен. Возможно, проект/код был утерян вместе с http://code.google.com/p/nomor/
• PR-OWL http://www.pr-owl.org/. Расширяет OWL для поддержки вероятностных онтологий. Похоже, что он неактивен/оставлен.
• Неопределенный RuleML выглядел интересным, но я не могу найти никаких конкретных реализаций/плагинов/кода. http://ruleml.org/1.0/defeasible/defeasible.html.
• Невозможное логическое правило Правило 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), который построен на вершине Пелле. Я не могу вспомнить, является ли он плагином Protege, но, поскольку он привязан к Pellet, я полагаю, что не должно быть слишком сложно реализовать обертку для этих двух.