Дескрипционная логика \( \mathcal{ALC} \). Алгоритм проверки реализуемости \( \mathcal{ALC} \)-концептов.