R-Calculus, V: Description Logics e-bokEngelska, 2024