@book{39639,
	author = {Baader, Franz},
	title = {The description logic handbook: theory, implementation and applications. -- 2nd ed.},
	publisher = {Cambridge University Press},
	year = {2003},
	address = {Cambridge},
	edition = {2nd ed.}
}