description logic (DL) utilities.