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