@book{dlhandbook, 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}, biburl = {http://www.bibsonomy.org/bibtex/23f3eae59671cd44a37e32b548f8464c5/vrandezo}, isbn = {0-521-78176-0}, keywords = {imported } }