@proceedings { Baa-03,
	title = {The Description Logic Handbook: Theory, Implementation, and Applications},
	journal = {Description Logic Handbook},
	year = {2003},
	publisher = {Cambridge University Press},
	isbn = {0-521-78176-0},
	editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and D. Nardi and Peter F. Patel-Schneider}
}
