LEADER 00000cam  2200493Mi 4500 
001    ocn228111011 
003    OCoLC 
005    20160518074754.2 
006    m     o  d         
007    cr cn||||||||| 
008    020311s2003    enka    obf   001 0 eng   
019    57172255|a63178616|a171135713|a271460192|a646724663
       |a698448241|a722320098|a728028038|a756512641 
020    0511060637|q(electronic bk. ;)|q(Adobe Reader) 
020    9780511060632|q(electronic bk. ;)|q(Adobe Reader) 
020    0511066945|q(electronic bk.) 
020    9780511066948|q(electronic bk.) 
035    (OCoLC)228111011|z(OCoLC)57172255|z(OCoLC)63178616
       |z(OCoLC)171135713|z(OCoLC)271460192|z(OCoLC)646724663
       |z(OCoLC)698448241|z(OCoLC)722320098|z(OCoLC)728028038
       |z(OCoLC)756512641 
040    Nz|beng|epn|erda|cUV0|dOCLCQ|dTEFOD|dYDXCP|dUQ1|dE7B
       |dOCLCQ|dMHW|dOCLCQ|dN$T|dDST|dFVL|dDKDLA|dOCLCQ|dEBLCP
       |dOCLCQ|dOCLCF|dDEBSZ|dOCLCQ|dAU@|dIDEBK|dTEFOD|dOCLCQ
       |dOCL|dOCLCQ 
049    GTKE 
050  4 Q387.3|b.D47 2003eb 
055 14 Q387.3 
082 04 006.3/32|221 
245 04 The description logic handbook :|btheory, implementation, 
       and applications /|cedited by Franz Baader [and others]. 
264  1 Cambridge, UK ;|aNew York :|bCambridge University Press,
       |c2003. 
300    1 online resource (xvii, 555 pages) :|billustrations 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
504    Includes bibliographical references (pages 496-545) and 
       index. 
505 0  Cover; Half-title; Title; Copyright; Contents; 
       Contributors; Preface; 1 An Introduction to Description 
       Logics; Part I Theory; Part II Implementation; Part III 
       Applications; Appendix Description Logic Terminology; 
       Bibliography; Index. 
520    The Description Logic Handbook covers all aspects of the 
       research in the field of knowledge representation. Written
       by some of the most prominent researchers in the field, 
       and covering the basic technical material and 
       implementational aspects, it is both a unique reference 
       and a self-study guide. 
588 0  Print version record. 
650  0 Description logics|vHandbooks, manuals, etc. 
650  7 COMPUTERS|xExpert Systems.|2bisacsh 
650  7 Description logics.|2fast|0(OCoLC)fst00891122 
650  7 Représentation des connaissances.|2rasuqam 
650 17 Logique de description.|2rasuqam 
655  7 Handbooks and manuals.|2fast|0(OCoLC)fst01423877 
700 1  Baader, Franz. 
776 08 |iPrint version:|tDescription logic handbook.|dCambridge, 
       UK ; New York : Cambridge University Press, 2003|w(DLC)  
       2002023796 
914    ocn228111011 
994    93|bGTK