Text this: Semantic matchmaking with nonmonotonic description logics /