02387nam 22006254a 450 991045052630332120200520144314.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(MiAaPQ)EBC217855(Au-PeEL)EBL217855(CaPaEBR)ebr10069975(CaONFJC)MIL41799(EXLCZ)99100000000001446920020311d2003 uy 0engur|n|---|||||txtccrThe description logic handbook[electronic resource] theory, implementation, and applications /edited by Franz Baader ... [et al.]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, etcElectronic books.Description logics006.3/32Baader Franz62009MiAaPQMiAaPQMiAaPQBOOK9910450526303321The description logic handbook2143403UNINA