Beskjeder

Publisert 13. mai 2015 14:41
Publisert 22. apr. 2015 12:40

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).