Query rewriting for horn-SHIQ plus rules
Complexity and Expressive Power of Logic Programming