Du, Jianfeng, Guilin Qi, Yi-Dong Shen, and Jeff Pan. 2011. “Towards Practical ABox Abduction in Large OWL DL Ontologies”. Proceedings of the AAAI Conference on Artificial Intelligence 25 (1):1160-65. https://doi.org/10.1609/aaai.v25i1.8070.