Explaining Subsumption in Description Logics

Citation