Reasoning for $${\mathcal {ALCQ}}$$ Extended with a Flexible Meta-Modelling Hierarchy