G. De Giacomo, M. Lenzerini, and R. Rosati, “Higher-Order Description Logics for Domain Metamodeling”, AAAI, vol. 25, no. 1, pp. 183–188, Aug. 2011.