Towards Practical ABox Abduction in Large OWL DL Ontologies

Open in new window