Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction