J. Du, K. Wang, and Y.-D. Shen, “Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies”, AAAI, vol. 29, no. 1, Feb. 2015.