Higher-Order Description Logics for Domain Metamodeling

Open in new window