Yang, Qian, Jia-Huai You, and Zhiyong Feng. 2011. “Integrating Rules and Description Logics by Circumscription”. Proceedings of the AAAI Conference on Artificial Intelligence 25 (1):274-79. https://doi.org/10.1609/aaai.v25i1.7850.