Weighted Description Logics preference formulas for multiattribute negotiation