SMS versenden: Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−