The description logic handbook (2003)

by F Baader, D McGuiness, D Nardi, P P Schneider