Yang, Q.; You, J.-H.; Feng, Z. Integrating Rules and Description Logics by Circumscription. AAAI 2011, 25, 274-279.