Nominal Schemas for Integrating Rules and Description Logics