Computing Utility from Weighted Description Logic Preference Formulas