Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для \( \mathcal{EL} \) и \( \mathcal{ALC} \). Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL.