Expressive Description Logic with Instantiation Metamodelling