Electronic Books

An introduction to description logics, Franz Baader, Ian Horrocks, Karsten Lutz, Ulli Sattler

Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...