De Giacomo, G., Lenzerini, M. and Rosati, R. (2011) “Higher-Order Description Logics for Domain Metamodeling”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 183–188. doi: 10.1609/aaai.v25i1.7857.