R-Calculus, V: Description Logics

R-Calculus, V: Description Logics