Skip to content

Latest commit

 

History

History
23 lines (18 loc) · 1.34 KB

installing_factplusplus.md

File metadata and controls

23 lines (18 loc) · 1.34 KB
Raw

Installing the FaCT++ reasoner plugin for Protégé 5.5.0 on Windows

There is a known issue with the FaCT++ reasoner for Protégé 5.5.0 on Windows. Fortunately a solution has been posted on http://protege-project.136.n4.nabble.com/Protege-5-5-0-and-Fact-td4671904.html.

Instructions

  1. Ensure that "Microsoft Visual C++ Redistributable for Visual Studio" is installed.
  2. Download OpenJDK and extract the zip file.
  3. Download the FaCT++ plugin and save it in the Protégé plugin directory.
  4. Download the fix to the same directory.
  5. Open a command window in the plugin directory and run
/path/to/jdk-13.0.1/bin/jar umf factplusplus-P5.x-v1.6.5-manifest-fix-win10.txt uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar
  1. Open Protégé and check that FaCT++ can be found under the Reasoner menu.