Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture