R-Calculus, V: Description Logics - innbundet, Engelsk, 2024