We present and motivate a formal approach and algorithms for semantic matchmaking in an e-commerce framework. The proposed solution exploits nonmonotonic inferences to compute semantic-based ranking of offers and provides explanation services in the query-retrieval-refinement loop.