この資料をSMS送信: Datalog rewriting techniques for non-Horn ontologies