Meeting in the agora: a description logic approach to peer-to-peer e-commerce