Ideal Refinement of Descriptions in AL-log