This is an archive of an inactive wiki and cannot be modified.

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.