-
Notifications
You must be signed in to change notification settings - Fork 1
Non Entailment Explanation Services
A non-entailment explanation service provides some sort of explanation as to why an inference is not entailed by the ontology. The result is displayed in the view Missing Entailment Explanation that can be accessed via the Protégé menu Window -> Views -> Miscellaneous Views -> Missing Entailment Explanation. The bundle evee-protege-core provides a pre-defined Protégé tab that contains an instance of the Missing Entailment explanation view as its only component. The tab can be accessed via the Protégé menu Window -> Tabs -> Missing Entailment Explanation. Further information on creating custom tabs can be found here.
The Missing Entailment Explanation view allows the user to specify the actual explanation service that should be used, the missing entailment that should be explained and - in the case of some services - the restriction of the signature used for the explanations. Furthermore, the view provides some basic warning messages and notifications to the user.
Evee provides two plugin extension points for non-entailment explanation services in the bundle evee-protege-core. These are de.tu_dresden.inf.lat.evee.nonEntailment_explanation_service for the actual non-entailment services and de.tu_dresden.inf.lat.evee.nonEntailment_preferences for preferences related to these services.
The page Non-Entailment View provides information on the NonEntailmentViewComponent, which is the main UI displaying input-fields and options that can be changed by the user as well as the solutions that are returned by the explanation services.
The page Plugin loaders and plugins provides information on how plugins can hook into the newly created extension points for non-entailment services.
The page Interfaces provides information on the interfaces that need to be implemented by non-entailment explanation services.
The page Loading Screen and Progress Tracker provides information on the loading and cancellation screen displayed to the user during computation and cancellation.
The page Preferences provides information on the preferences that can be used to change the UI of the non-entailment explanation view and on the general preferences tab that can be used by other plugins to add their own preference tabs.
The page Handling Ontology Change Events provides information on how OWLOntologyChange-events are propgated throughout the non-entailment services.