Văn bản này: Semantic matchmaking with nonmonotonic description logics /