Higher-order description logics for domain metamodeling