Skip to content

Using Protege with evee

Jump to bottom
maphih edited this page Sep 5, 2025 · 1 revision

  1. Install Protégé. Evee was developed for and tested with Protégé version 5.5.0.

  2. Install both the protege-proof-explanation plugin and the proof utility library PULi.

  3. Copy the .jar files from latest "release" of evee to the directory "plugins" of your local Protégé installation as shown on Figure: Install evee plugins on windows for using as-is. If you also compile evee, then copy each of the new jar files from target directories to the directory "plugins" of your local Protégé installation.

evee-running-windows
Figure: Install evee plugins on windows
  1. Load Protégé with example pizza ontology and proof using e.g. Elimination Proof (LETHE) as shown on Figure: Proof Generation using evee.
evee-proof
Figure: Proof Generation using evee

Attention: If an error as shown on Figure: Error Running evee appears, then try upgrading Ubuntu or using an older version of Protégé.

evee-running-error
Figure: Error Running evee

Clone this wiki locally