LEADER 02387nam 22006254a 450 001 9910450526303321 005 20200520144314.0 010 $a1-107-12924-9 010 $a1-280-41799-4 010 $a9786610417995 010 $a1-139-13014-5 010 $a0-511-17880-8 010 $a1-139-14649-1 010 $a0-511-06694-5 010 $a0-511-06063-7 010 $a0-511-06907-3 035 $a(CKB)1000000000014469 035 $a(EBL)217855 035 $a(OCoLC)228111011 035 $a(SSID)ssj0000137051 035 $a(PQKBManifestationID)11158701 035 $a(PQKBTitleCode)TC0000137051 035 $a(PQKBWorkID)10087529 035 $a(PQKB)11292069 035 $a(MiAaPQ)EBC217855 035 $a(Au-PeEL)EBL217855 035 $a(CaPaEBR)ebr10069975 035 $a(CaONFJC)MIL41799 035 $a(EXLCZ)991000000000014469 100 $a20020311d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe description logic handbook$b[electronic resource] $etheory, implementation, and applications /$fedited by Franz Baader ... [et al.] 210 $aCambridge, UK ;$aNew York $cCambridge University Press$d2003 215 $a1 online resource (575 p.) 300 $aDescription based upon print version of record. 311 $a0-521-78176-0 320 $aIncludes bibliographical references (p. 496-545) and index. 327 $aCover; 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 330 $aThe 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. 606 $aDescription logics$vHandbooks, manuals, etc 608 $aElectronic books. 615 0$aDescription logics 676 $a006.3/32 701 $aBaader$b Franz$062009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910450526303321 996 $aThe description logic handbook$92143403 997 $aUNINA