01332nam a2200313 i 4500991000146489707536071022s2007 enka bf 001 0 eng d9780521876254b13819471-39ule_instDip.to Ingegneria dell'Innovazioneeng006.33222The description logic handbook :theory, implementation, and applications /edited by Franz Baader ... [et al.]2nd ed.Cambridge ;New York :Cambridge University Press,2007xix, 601 p. :ill. ;26 cmIncludes bibliographical references (p. 537-591) and indexDescription logicsHandbooks, manuals, etc.Baader, FranzCalvanese, DiegoMcGuinness, Deborah L.Nardi, DanielePatel-Schneider, Peter F.Table of contents onlyhttp://catdir.loc.gov/catdir/enhancements/fy0808/2008270159-t.html.b1381947128-01-1427-03-09991000146489707536LE026 006.332 BAA 01.01 200712026000044996le026Prof. Tarricone / BibliotecapE114.73-l- 47170.i1494654327-03-09Description logic handbook376942UNISALENTOle02622-10-07ma -engenk40