Reasoning with DL-based CP-nets