The description logic handbook: theory, implementation, and applications.
editor(s) Baader, Franz and Calvanese, Diego and McGuinness, Deborah L. and Nardi, Daniele and Patel-Schneider, Peter F..
Cambridge University Press,
New York, NY, USA,
Year
2003.