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