Towards Practical ABox Abduction in Large OWL DL Ontologies