Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach