EL with bottom
= EL with bottom
{c}
{title2=$\mathcal{EL}_{\bot}$}
<EL> extended with $\bot$, allowing disjointness and unsatisfiable concepts. <Concept satisfiability> with respect to general <TBoxes> is <P-complete>.
= EL with bottom
{c}
{title2=$\mathcal{EL}_{\bot}$}
<EL> extended with $\bot$, allowing disjointness and unsatisfiable concepts. <Concept satisfiability> with respect to general <TBoxes> is <P-complete>.