EL
= EL
{c}
{title2=$\mathcal{EL}$}
The <description logic> generated by atomic concepts, $\top$, conjunction and existential restrictions. Some conventions also allow $\bot$; that extension is distinguished here as <EL with bottom>. Without $\bot$, every concept is satisfiable with respect to every <EL> <TBox>.