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