THE DESCRIPTION LOGIC HANDBOOK - Franz Baader,No; Baader,Franz (Cambridge Univ. Press, Cambridge, 2003)
Keywords: Description Logics -- Handbooks, Manuals, Etc