An introduction to description logic - Baader, Franz 1959-; Horrocks, Ian; Lutz, Carsten 1971-; Sattler, Ulrike 1966- (Cambridge University Press, 2017)
Literaturverzeichnis Seite 234-251