Дескрипционная логика ALC: терминологическая часть База знаний (KB) TBox (терминология, схема) Man �…