@book{25720,
	author = {Baader, Franz },
	title = {The description logic handbook : theory, implementation and applications},
	publisher = {Cambridge university press},
	year = {2010},
	url = {https://doi.org/10.1017/CBO9780511711787}
}