Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi The Description Logic Handbook: Theory, Implementation, and Applications 2003 http://www.amazon.com/Description-Logic-Handbook-Implementation-Applications/dp/0521876257/ref=pd_bbs_sr_1?ie=UTF8&s=books&qid=1194967964&sr=8-1