Du, J.; Qi, G.; Shen, Y.-D.; Pan, J. Towards Practical ABox Abduction in Large OWL DL Ontologies. AAAI 2011, 25, 1160-1165.