Figure 1
From: Completing the is-a structure in light-weight ontologies
Small \({\mathcal {EL}}\) example. (C is the set of atomic concepts in the ontology. T is a TBox representing the ontology. M is a set of missing is-a relations. Or is the oracle representing the domain expert).