2

我希望将 Pellet reasoner 插件添加到 Protege 4.3。为此，我转到File-> Preferences -> Plugins -> Check for Downloads Now。但是，我在那里找不到 Pellet reasoner 插件。

我希望有 Pellet 推理器，因为我想添加一些包含 SWRL 数学内置插件的 SWRL 规则（例如内置的 swrlb:mod）。此外，使用 HermiT 推理器 1.3.8 存在一个错误，即不支持提供的内置 atom。

请帮助我解决这个问题，因为我是 Protege 的新手。

4

2 回答 2

2

Pellet现在位于 GitHub 上。存储库文件需要更新以指向它。

Pellet Protégé插件和最新插件 jar的代码现在在 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

于 2015-09-19T08:32:00.573 回答
1

更新：在https://github.com/nblavoie/protege-4.2-missing-pellet-plugin下载带有工作 Pellet 插件的 Protegé 4.2 版。

我有同样的问题。问题如下。在 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 文件的链接。

我已经联系了他们，我也在等待问题的答案/解决方案。

我还测试了 beta 版本 5.0，并且该插件在 repo 中也不可用。

当我收到他们的反馈时，我会及时通知您。

于 2015-04-18T14:45:33.327 回答