A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL