Semantic Matchmaking With Nonmonotonic Description Logics by S. Grimm