Văn bản này: A Combination of Boolean Games with Description Logics for Automated Multi−Attribute Negotiation