Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

Open in new window