An introduction to description logic - Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Ulrike (Cambridge : Cambridge University Press, 2017)
References : page 234-251.
Keywords: Description logics; Knowledge representation (information theory).; Computer science -- Databases