The Description Logic Handbook: Theory, Implementation and Application (2002)

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