Description Logics

@incollection{dl-handbookkr2008,
   author = {Baader, Franz and Horrocks, Ian and Sattler, Ulrike},
   booktitle = {Handbook of Knowledge Representation},
   chapter = 3,
   doi = {10.1016/S1574-6526(07)03003-9},
   editor = {van Harmelen, Frank and Lifschitz, Vladimir and Porter, Bruce},
   isbn = {978-0-444-52211-5},
   issn = {1574-6526},
   pages = {135--179},
   publisher = {Elsevier B.V.},
   series = {Foundations of Artificial Intelligence},
   title = {Description Logics},
   url = {http://www.sciencedirect.com/science/article/pii/S1574652607030039},
   volume = 3
}