Skip to content

Evee Protégé proof plugins

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

Evee Protégé proof plugins general information

Evee contains several plugins for the ontology editor Protégé that add proof services. These services can be used to explain entailments.

The Evee proof services have a dependency to the following plugins of Protégé:

  1. protege-proof-explanation, which provides the extension points necessary for Protégé to access the Evee proof services.
  2. puli, which provides interfaces that the Evee proof services need to implement in order for the proofs to be displayed by Protégé.

Evee provides 15 proof services in total, each as its own plugin. These plugins are bundled into the following 4 jars:

  1. evee-protege-elimination-proofs-fame, providing the proof services:
    • "Elimination Proof (FAME)"
    • "Elimination Proof, optimized for size (FAME)"
    • "Elimination Proof, optimized for eliminated names (FAME)"
    • "Elimination Proof, optimized for weighted size (FAME)"
  2. evee-protege-elimination-proofs-lethe, providing the proof services:
    • "Elimination Proof (LETHE)"
    • "Elimination Proof, optimized for size (LETHE)"
    • "Elimination Proof, optimized for eliminated names (LETHE)"
    • "Elimination Proof, optimized for weighted size (LETHE)"
  3. evee-protege-elk-proof-extractor, providing the proof services:
    • "ELK Proof, optimized for depth"
    • "ELK Proof, optimized for size"
    • "ELK Proof, optimized for weighted size"
  4. evee-protege-lethe-proof-extractor, providing the following service:
    • "Detailed Proof (LETHE)"
  5. evee-protege-nemo-proof-extractor, providing the proof services:
    • "NEMO Proof, based on ELK"
    • "NEMO Proof, based on TEXTBOOK"
    • "NEMO Proof, based on ENVELOPE"

Additionally, each of these jars contains another plugin providing a UI to adjust parameters of the proof services via the Preferences menu of Protégé. These preference plugins are:

  1. "Elimination Proof (FAME)"
  2. "Elimination Proof (LETHE)"
  3. "Optimized Elk Proof"
  4. "Detailed Proof (LETHE)"
  5. "Nemo Proof"

They are contained in the respective jars 1.-5. mentioned above.

The preferences plugins provide functionality to enable/disable each proof service and service-specific preferences that can be changed by the user.

Additionally, Evee provides two plugins to display a signature selection window. These plugins are bundled into evee-protege-core. The first plugin simply provides the menu Proofs in the menu bar of Protégé. The second plugin adds a menu item Manage signature under the menu Proofs.

Subpages

The page Extension points contains information on the extension points that the proof services and preference UI's of Evee hook into.

The page Proof services contains information on proof service classes used by Protégé to access the proofs of Evee.

The page Dynamic proof adapter contains information on the class connecting the underlying Evee proof generators to the proofs of Protégé.

The page Dynamic Proof Loading UI contains information on a loading screen displayed during proof generation.

The page Preferences manager contains information on classes related to the preference plugins.

The page Signature selection window contains information on the UI used to select a signature for the proof services.

The most important classes for providing proof services are the ones described in the pages "Proof services" and "Dynamic proof adapter".

Clone this wiki locally