How to get the Fact++ and Pellet reasoners in Protege

The Fact++ reasoner can be found by going to "File->Check for plugins", mark the Fact++ plugin and click install. After a restart of Protege you should now see Fact++ listed under "Reasoners".

For those of you that does not aleady have the Pellet reasoner preinstalled in Protege, download this file to Protege's lib folder. Pellet should now be listed under "Reasoners".

If you still have problems, please fell free to send me a mail (username: leifhka).