@conference {22,
	title = {A Resolution Procedure for Description Logics with Nominal Schemas},
	booktitle = {Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings},
	year = {2012},
	pages = {1{\textendash}16},
	doi = {10.1007/978-3-642-37996-3_1},
	url = {http://dx.doi.org/10.1007/978-3-642-37996-3_1},
	author = {Cong Wang and Pascal Hitzler}
}
