01457nam0 2200313 i 450 SUN006241120160126122613.648978-05-218-7625-420071206d2007 |0engc50 baengGB|||| |||||ˆThe ‰description logic handbooktheory, implementation, and applicationsedited by Franz Baader ... [et al.]2. edCambridgeCambridge university2007XIX, 601 p.26 cm.68-XXComputer science [MSC 2020]MFSUNC01967068T30Knowledge representation [MSC 2020]MFSUNC02327368T35Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020]MFSUNC02327403B70Logic in computer science [MSC 2020]MFSUNC024541CambridgeSUNL000024Baader, FranzSUNV049296Cambridge universitySUNV000097650ITSOL20201026RICA/sebina/repository/catalogazione/documenti/Baader, Calvanese et al. - The description logic handbook. 2. ed..pdfContentsSUN0062411UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0205 08 7485 I 20080314 Description logic handbook376942UNICAMPANIA