C.  Wang and Hitzler, P., ?A Resolution Procedure for Description Logics with Nominal Schemas?, in Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings, 2012, pp. 1?16.