-- Subsumption in w.r.t. Hybrid TBoxes -- Dependency Calculus: Reasoning in a General