Query Rewriting for Horn-SHIQ Plus Rules