A.  Krisnadhi and Hitzler, P., ?A Tableau Algorithm for Description Logics with Nominal Schemas?, in Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings, 2012, vol. 7497, pp. 234-237.