The Description Logic Handbook: Theory, Implementation, and Applications
From Tetherless World Wiki
\begin{bibtex} @PROCEEDINGS{DBLP:conf/dlog/2003handbook,
title = {The Description Logic Handbook: Theory, Implementation, and Applications},
year = {2003},
editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele
Nardi and Peter F. Patel-Schneider},
publisher = {Cambridge University Press},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Description Logic Handbook},
isbn = {0-521-78176-0}
} \end{bibtex}
