Semantic matchmaking with nonmonotonic description logics - Grimm, Stephan. (AKA ;)