我希望将 Pellet 推理器插件添加到 Protege 4.3 中。为此，我转到文件>首选项->插件->立即检查下载。但是，我在那里找不到 Pellet 推理器插件。
我希望有 Pellet 推理器，因为我想添加一些包含内置 SWRL 数学的 SWRL 规则（例如内置 swrlb：mod）。此外，在HermiT推理器1.3.8中，存在不支持提供的内置原子的错误。
请帮助我解决这个问题，因为我是 Protege 的新手。
Pellet 现在位于 GitHub 上。存储库文件需要更新才能指向它。
颗粒门徒插件和最新插件罐的代码在现在的GitHub [1]。如果您在 Protégé 中更改插件注册表位置指向 [2]，您应该能够安装 Pellet 插件。这主 Protégé 插件注册表中的链接将在不久后更新哪些内容应使用默认设置。
File ==> Preference ==> Plugins（添加此 URL 和 ）点击立即检查下载
https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository
来源： https://github.com/protegeproject/autoupdate/issues/3
更新：下载 Protegé 版本 4.2 与工作 Pellet 插件在 https://github.com/nblavoie/protege-4.2-missing-pellet-plugin.
我有同样的问题。问题如下。在 Protegé 中，无论版本如何，插件注册表都指向以下 URL：http://protege.googlecode.com/svn/trunk/autoupdate/4_2/4.2-plugins-2012-03-19.repository。
如果您检查Pellet URL http://clarkparsia.com/pellet/protege-4.1-beta/plugin/update.properties，则会重定向到他们的Github页面。对于像你我这样无法构建插件的人来说，没有指向 JAR 文件的链接。
我已经联系了他们，我也在等待问题的答案/解决方案。
我还测试了测试版 5.0，该插件在存储库中也不可用。
当我听到他们的反馈时，我会及时通知您。