Зоопарк дескрипционных логик. Оптимизация логического анализа в $ \mathcal{ALC} $. Модуляризация онтологий. Семантическая локальность