Abductive Matchmaking using Description Logics