Query rewriting for horn-SHIQ plus rules
The DLV System for Knowledge Representation and Reasoning