Свойства алгоритма проверки реализуемости $ \mathcal{ALC} $-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической $ \mathcal{ALC} $-терминологией. Алгоритм классификации $ \mathcal{ALC} $-теорий. Расширения логики $ \mathcal{ALC} $.