Integrating Rules and Description Logics by Circumscription