A description logic with combination of user preference concepts, crisp roles and existential restrictions