LEADER 02350nam  22006254a 450 
001 9910827386403321
005 20240410055214.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(Au-PeEL)EBL217855
035   $a(CaPaEBR)ebr10069975
035   $a(CaONFJC)MIL41799
035   $a(MiAaPQ)EBC217855
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 $etheory, implementation, and applications /$fedited by Franz Baader ... [et al.]
205   $a1st ed.
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
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   $a9910827386403321
996   $aThe description logic handbook$93975892
997   $aUNINA