R-Calculus V: Description Logics