Preferences

Evee provides a preferences panel to which non-entailment services can add sub-panels for their own preferences. The plugin evee-protege-core also comes with a general preferences tab for non-entailments. These preferences can be found in Protégé via the menu File -> Preferences -> Explanations -> Missing Entailment.

The class NonEntailmentPreferencesPanel is hooking into the extension point org.protege.editor.core.application.explanationpreferencespanel of Protégé. The NonEntailmentPreferencesPanel extends the Protégé class PreferencesPanel and is responsible for loading all plugins of the extension point de.tu_dresden.inf.lat.evee.nonEntailment_preferences (via the corresponding plugin loader, see Plugin loaders and plugins). A preferences plugin needs to provide an object that can be added to a JTabbedPane, which is managed by the NonEntailmentPreferencesPanel.

The general preferences tab is created by the class NonEntailmentGeneralPreferencesUI, which uses an object of the class NonEntailmentGeneralPreferencesManager to keep track of the general preferences for non-entailment explanation services. These general preferences can be changed in Protégé via the menu File -> Preferences -> Explanations -> Missing Entailment -> General. The preferences are:

1. Deciding where newly created names of classes, object properties and individuals should be put when they are added to the ontology: Either to the Permitted or Forbidden vocabulary.
2. Deciding which vocabulary tab layout should be used: The Standard layout consists of two tabbed panes with three lists each, one for classes, one for object properties and one for individuals. The Alternative layout uses a tabbed pane containing the class tree, object property tree and a list of individuals which the user can navigate and choose names from. These names are then added to one of two lists, one representing the Forbidden Vocabulary, the other representing the Permitted Vocabulary.
3. Deciding whether a pop-up window should be shown when the explanation service ignored some axioms of the ontology during the computation. Note that the view still displays a short message on the top of the screen, regardless of whether or not the pop-up window is shown.
4. Deciding whether a Simple Mode should be used. If selected, this mode hides the buttons to save/load the missing entailment and the vocabulary. Furthermore, the button to add the signature of the missing entailment to the forbidden vocabulary will be hidden.