A Tractable Approach to ABox Abduction over Description Logic Ontologies