Brachman, Ronald J. <br/><br/>
Knowledge Representation and Reasoning 
Ronald J. Brachman 
 - Amsterdam  Elsevier  2004