Baader, Franz  <br/><br/>
The Description Logic Handbook : Theory, Implementation, And Applications 
Franz Baader 
 - New York  Cambridge University Press  2003 
 - xvii, 555p.  24cm. 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>9780521781763 
<br/><br/><label>Dewey Class. No.: </label>006.33  / BAA