Baader, Franz (Bearb.) ; Calvanese, Diego (Bearb.) ; McGuinness, Deborah L. (Bearb.) ; Nardi, Daniele (Bearb.) ; Patel-Schneider, Peter F. (Bearb.):
The description logic handbook: theory, implementation, and applications.
New York, NY, USA
: Cambridge University Press,
2003. - ISBN
0-521-78176-0