Figure 4From: Completing the is-a structure in light-weight ontologiesGraphical representation of the \({\mathcal {EL}^{++}}\) example in Figure 3. (Ovals represent concepts. Full arrows represent is-a relations between concepts in the ontology. Dashed arrows represent missing is-a relations).Back to article page