Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction.