Daniele Nardi and Ronald J. Brachman, An
Introduction to Description Logics. From Franz Baader, Diego Calvanese,
Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, Eds.,
\textit{The Description Logic Handbook: Theory, Implementation and Applications,
Second Edition,} Cambridge University Press, Cambridge, UK, 2004.