Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web