Semantic matchmaking with nonmonotonic description logics - Grimm, Stephen (Studies on the Semantic Web, 2009)