Semantic Matchmaking with Nonmonotonic Description Logics