CEX3 is a prototype tool for computing three types of logical differences between two ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions.