TY - RPRT TI - Reasoning for ALCQ extended with a flexible meta-modelling hierarchy AU - Regina Motz AU - Edelweis Rohrer AU - Paula Severi PY - 2014 UR - https://arxiv.org/abs/1410.7953 ID - 1410.7953 ER -