Enviar aquest missatge de text: Semantic matchmaking with nonmonotonic description logics /