J. Du, G. Qi, Y.-D. Shen, and J. Pan, “Towards Practical ABox Abduction in Large OWL DL Ontologies”, AAAI, vol. 25, no. 1, pp. 1160–1165, Aug. 2011.