01259nam0 22003013i 450 VAN025064920220927091128.106978-05-216-9542-820220926d2017 |0itac50 baengUS|||| |||||ˆAn ‰introduction to description logicFranz Baader ... [et al.]New YorkCambridge university2017vii, 255 p.23 cmVAN0250651ˆAn ‰introduction to description logic300857868-XXComputer science [MSC 2020]VANC019670MF68T30Knowledge representation [MSC 2020]VANC023273MF68T27Logic in artificial intelligence [MSC 2020]VANC033812MFUSNew YorkVANL000011BaaderFranzVANV049296Cambridge university <editore>VANV107986650ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0250649BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0205 08DMF652 I 20220926 Introduction to description logic3008578UNICAMPANIA