Figure 2
From: Completing the is-a structure in light-weight ontologies
Graphical representation of the \({\mathcal {EL}}\) example in Figure 1. (Ovals represent concepts. Full arrows represent is-a relations between concepts in the ontology. Dashed arrows represent missing is-a relations).