Seol mar théacs é seo: A Combination of Boolean Games with Description Logics for Automated Multi−Attribute Negotiation