Description_logic loading ...