@conference {23,
	title = {Consequence-Based Procedure for Description Logics with Self-Restriction},
	booktitle = {Semantic Web and Web Science - 6th Chinese Semantic Web Symposium and 1st Chinese Web Science Conference, CSWS 2012, Shenzhen, China, November 28-30, 2012.},
	year = {2012},
	pages = {169{\textendash}180},
	doi = {10.1007/978-1-4614-6880-6_15},
	url = {http://dx.doi.org/10.1007/978-1-4614-6880-6_15},
	author = {Cong Wang and Pascal Hitzler}
}
