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