The description logics handbook (2003)

by F Baader