02350nam 22006254a 450 991082738640332120240410055214.01-107-12924-91-280-41799-497866104179951-139-13014-50-511-17880-81-139-14649-10-511-06694-50-511-06063-70-511-06907-3(CKB)1000000000014469(EBL)217855(OCoLC)228111011(SSID)ssj0000137051(PQKBManifestationID)11158701(PQKBTitleCode)TC0000137051(PQKBWorkID)10087529(PQKB)11292069(Au-PeEL)EBL217855(CaPaEBR)ebr10069975(CaONFJC)MIL41799(MiAaPQ)EBC217855(EXLCZ)99100000000001446920020311d2003 uy 0engur|n|---|||||txtccrThe description logic handbook theory, implementation, and applications /edited by Franz Baader ... [et al.]1st ed.Cambridge, UK ;New York Cambridge University Press20031 online resource (575 p.)Description based upon print version of record.0-521-78176-0 Includes bibliographical references (p. 496-545) and index.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; IndexThe 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.Description logicsHandbooks, manuals, etcDescription logics006.3/32Baader Franz62009MiAaPQMiAaPQMiAaPQBOOK9910827386403321The description logic handbook3975892UNINA