发送短信: Foundations of Rule−Based Query Answering