Q. Yang, J.-H. You, and Z. Feng, “Integrating Rules and Description Logics by Circumscription”, AAAI, vol. 25, no. 1, pp. 274-279, Aug. 2011.