D.  Carral, Wang, C., and Hitzler, P., ?Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas?, in Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, 2013, pp. 65?79.