title = {The description logic handbook: theory, implementation, and applications},
address = {New York, NY, USA}, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider}, publisher = {Cambridge University Press}, year = {2003}, isbn = {0-521-78176-0},
keywords = {imported }
::