16-the introduced mapping operator allows to exploit all information of the domain layer by the PSM at the inference layer. This supports the reuse of the PSM in another domain and the reuse of the domain layer for another task. • The introduced mappings allow to map expressions described in one terminology into expressions described in another terminology. This supports the configuration of PS...