Extension points

Each preference UI hooks into the extension point org.liveontologies.protege.explanation.proof.preferences of the plugin protege-proof-explanation

Each proof service hooks into the extension point org.liveontologies.protege.explanation.proof.service of the plugin protege-proof-explanation.

Each proof service needs to extend the class AbstractEveeProofService. The constructor of each of the proof services needs to be provided with an object of class AbstractEveeDynamicProofAdapter, which in turn needs to be provided with a specific proof generator. A proof generator is an object that implements the interface IProofGenerator of Evee (which can be found in the module evee-data). These generators are responsbile for the actual computation of the proofs.

Each preference UI needs to extend the class AbstractEveeProofPreferencesUI. The constructor of each of these UI's needs to be provided an object of class AbstractEveeProofPreferencesManager. This preferences manager, needs to implement the method createIdentifierSet which should populate the protected tree set proofServiceNameSet with the names of the proof services for which this preference plugin provides preferences. Note that the names used in this set are also the names displayed to the user in the preferences window of Protégé. However, the names displayed to the user in the drop-down menu of the actual explanation window are determined by the label tag of each plugin in the plugin.xml.