Description logics and ontologies: Mathematical Logic course | Zoonk