问题
I wish to add the Pellet reasoner plugin to Protege 4.3. To do so I go to File-> Preferences -> Plugins -> Check for Downloads Now. However, I cannot find the Pellet reasoner plugin in there.
I wished to have the Pellet reasoner since I wanted to add some SWRL rules containing SWRL math built ins (e.g. swrlb:mod built in). Furthermore, with HermiT reasoner 1.3.8 there is an error that the provided built in atom is not supported.
Please help me with this issue, as I am new to Protege.
回答1:
Pellet is now located on GitHub. The repository file needs updating to point to it.
The code for Pellet Protégé plugin and the latest plugin jar is in github now [1]. If you change the plugin registry location in Protégé to point to [2] you should be able to install the Pellet plugin. The link in the main Protégé plugin registry will be updated soon after which things should work with default settings.
File ==> Preference ==> Plugins (add this URL and ) hit check for downloads now
https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository
Source: https://github.com/protegeproject/autoupdate/issues/3
回答2:
UPDATE: Download Protegé Version 4.2 with the working Pellet plugin at https://github.com/nblavoie/protege-4.2-missing-pellet-plugin.
I have the same issue. The problem is the following. In Protegé, whatever the version, the plugin registry points to the following URL: http://protege.googlecode.com/svn/trunk/autoupdate/4_2/4.2-plugins-2012-03-19.repository.
If you check the Pellet URL http://clarkparsia.com/pellet/protege-4.1-beta/plugin/update.properties, there is a redirect to their Github page. No link to the JAR file for people like you and me that can't build the plugin.
I've contacted them and I'm also waiting for an answer/solution to the problem.
I've also tested the beta version 5.0 and the plugin isn't avaiable in the repo too.
I'll keep you updated when I hear feedback from them.
来源：https://stackoverflow.com/questions/29710154/unable-to-download-pellet-plugin-for-protege-4-3