M.  Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., ?Nominal Schemas for Integrating Rules and Description Logics?, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.