ALC
= ALC
{c}
{title2=$\mathcal{ALC}$}
The <description logic> with atomic concepts, top and bottom, Boolean concept constructors, and existential and universal restrictions on <description logic roles>.
= ALC
{c}
{title2=$\mathcal{ALC}$}
The <description logic> with atomic concepts, top and bottom, Boolean concept constructors, and existential and universal restrictions on <description logic roles>.