Fig. 5
From: Toward a systematic conflict resolution framework for ontologies
Inference visualisation and justification algorithm explanations of [11] as implemented in Protégé v5.5. A: explanation in the case of the conflict described in Example 3; B: explanation of inference with the VIDO and COVoc ontologies as-is with the two alignment axioms on virus and organism