Franz Baader : The description logic handbook : theory, implementation, and applications

The description logic handbook tarjoaa kattavan katsauksen kuvauslogiikoihin, jotka ovat olleet tärkeässä roolissa keinoälyn tietämyksen esityksessä ja sovelluksissa. Kirja kokoaa yhteen tutkimuksen, toteutuksen ja käytännön sovellukset alan johtavien asiantuntijoiden kirjoittamana.