發送短信: Datalog rewriting techniques for non-Horn ontologies