A logical framework and an application for matchmaking in e-commerce