The Description Logic Handbook: Theory, Implementation, and Applications (2003)

by F Baader