graph TD; A-->B; A-->C; B-->D; C-->D;
Visualization of inferred axioms with focus on individuals of ontologies