Skip to content

Install Elk 0.5 in Protege

Note: This is only needed for Protege 5.5.0 or below. Protege 5.6 has ELK already installed.

  • Click here to get the latest Protege Plugin latest build (this is available on the bottom of ELK pages. This will download a zipped file.)

  • When downloaded, unzip and copy puli and elk jars (two .jar files) in the unpacked directory.

  • Paste these files in your Protege plugin directory.

  • Remove old org.semanticweb.elk.jar

  • Install ELK plugin on Mac:

This can be done via one of two ways:

Approach 1

  1. In Terminal: open ~/.Protege, then click on plugins
  2. Click on plugins
  3. Copy and paste the two files into the plugins directory
  4. Remove old elk.jar (Ex. org.semanticweb.elk.jar)
  5. Restart Protege. You should see ELK 0.5 installed in your Reasoner menu.

Approach 2

  1. Paste these files in your Protege plugin directory. This is in one of two locations:
  2. ~/.Protege/plugins (note this is usually hidden from finder, but you can see it in the terminal) or
  3. Go to Protege in Applications (Finder), right click, 'Show package contents' -> Java -> plugins
  4. If you go to ~/.Protege and a directory called plugins does not exist in this folder, you can create it.
  5. Copy and paste the two files into the plugins directory
  6. Remove old elk.jar (Ex. org.semanticweb.elk.jar)
  7. Restart Protege. You should see ELK 0.5 installed in your Reasoner menu.

Important: it seems Elk 0.5. Does not work with all versions of Protege, in particular, 5.2 and below. These instructions were only tested with Protege 5.5.

Video Explanation