The description logic handbook. Theory, implementation and applications (2003)

by F Baader, D Calvanese, D McGuinness, D Nardi, P Patel-Schneider