SMS versenden: Foundations of Rule−Based Query Answering