Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles