R-Calculus, V: Description Logics