This extends Horn conditions A.1-A.5 to Horn rules by adding positive literals as rule heads (cf. Charter, Phase 1).
For positive conjunctive queries, FO and LP semantics coincide. For queries that involve negation or universal quantification the semantics of FO and LP diverge.