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