R-Calculus, V: Description Logics - e-kirja, Englanti, 2024