Description logics and ontologies: Mathematical Logic course | Zoonk
54. Description logics and ontologies
Develops concept languages, role restrictions, subsumption, and ontology reasoning. Learners model a small knowledge domain and run consistency and classification checks using description-logic principles.