The description logic handbook: theory, implementation, and applications (2003)

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