An Introduction to Description Logic

Dear colleagues,

it is our pleasure to announce that our textbook on Description Logic has finally been finished and published by Cambridge University Press. The book has the title

    "An Introduction to Description Logic"

and can be used both as a textbook by lecturers and as a source for self study. 

More information on the book can be found at the Web page:

http://dltextbook.org

In particular, though the book does not contain exercises, a list of exercises is available on this page and will be extended over time.

The book can be ordered through the publisher's Web page:

http://www.cambridge.org/gb/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB&isbn=9780521695428

In case you intend to buy he book, you can use the promotion code on the attached flier to receive a 20% discount.

Franz Baader 
Ian Horrocks
Carsten Lutz
Uli Sattler