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