An introduction to description logic
by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…