Reasoning on Datalog± Ontologies with Abductive Logic Programming