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