Extending Semantic-Based Matchmaking via Concept Abduction and Contraction