The Explanation Plugin

The explanation plugin displays the explanation for any currently selected links. When the explanation plugin is opened, it looks like this:

Initially, the explanation plugin just shows a list of the currently selected links. Double click a link to see its explanation:

The current link has two explanations: GIVEN, and an explanation based on the TRANSITIVITY rule. (This means that this is a redundant link, since it is GIVEN - hence created by a human - and can be inferred by the reasoner. See redundant links).

Whenever any line is selected in the explanation tree, more details are given in the text field at the bottom of the window. In this case, since a link is selected, all that is shown is the link description.

Note the little control next to the TRANSITIVITY explanation. This means that the explanation can be expanded to show the links that support the explanation. Double-click and explanation (or just click the expand control) to show the supporting links:

The two supporting links show how the implied link "virion transport vesicle -part_of-> intracellular" was derived: "virion transport vescicle -is_a-> intracellular membrane-bound organelle" and "intracellular membrane-bound organelle" -part_of-> intracellular", therefore "virion transport vesicle -part_of-> intracellular".

Notice that there are expansion controls next to each piece of supporting evidence. If these are expanded, we see the supporting evidence for the supporting evidence:

We can see that "intracellular membrane-bound organelle -part_of-> intracellular" is itself an implied link, because its only explanation is TRANSITIVITY. It is possible to expand that explanation to discover the relevant supporting links, which can in turn be expanded to display their evidence, and so on and so on.

When the explanation tree for any link is fully expanded, all the leaves will be the GIVEN explanation, because all implied links are initially derived from the user-provided links in the ontology.