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