Baader, Franz.  <br/><br/>
The Description Logic Handbook :   Theory, Implementation and Applications /  
Baader Franz. 
 - 2 edition. 
 - Cambridge :   Cambridge University Press,   2007. 
 - XIX, 601 s.:   il.;   25 cm. 
<br/><br/><label>ISBN: </label>9780521876254