Fact++ 1.6.5 reasoner plugin does not work with Protege 5.6.5 on OS Windows 11

[jpi-seb]

The Fact++ 1.6.5 reasoner plugin does not work with Protege 5.6.5 on OS Windows 11.
The same problem occurred when Windows 10 was release.
See issue for Windows 10: #863

The problem is Fact++, not Protégé. There has been no new release of Fact++ since 2016, and Windows 11 is not declared in the JAR manifest as a supported OS.
Here is a workaround to make it compatible with any version of Windows: you have to update the manifest in the JAR file, and replace all Windows declaration.

Workaround steps:

• Prerequisite: you must have a JDK installed (you need the jar command line tool to update the manifest)

• Download the last release of Fact++ Protégé Plugin 5.X (v1.6.5): https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar

• Put the JAR in Protégé's plugins dir

• Download the manifest fix file and put it in Protégé's plugins dir: factplusplus-P5.x-v1.6.5-manifest-fix-win.txt

  • This fix file contains the content of the Bundle-NativeCode key from the original MANIFEST.MF file of the JAR
  • It has been modified to replace all osname values corresponding to Windows by this single entry, for each DLL file:

osname=Win32 ;

• Open a command line in this directory, and execute this command to update the manifest inside the JAR file:

/path/to/jdk/bin/jar umf factplusplus-P5.x-v1.6.5-manifest-fix-win.txt uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar

• Restart Protégé: Fact++ should be available in the Reasoner menu

I publish this workaround as an issue here for the community, for those who still uses Fact++ reasoner.