Heuristic Reasoning | EKB DL