We propose a framework and polynomial algorithms for semantic-based automated Web service orchestration, fully compliant with Semantic Web technologies. The approach exploits the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We present how the proposed approach deals with not exact solutions, computing an approximate orchestration with respect to an agent request modeled using a significant subset of OWL-DL.